A terminal-based automated file organizer inspired by Hazel
IMAP helpers for email-based automation (OTP codes, verification links)
A powerful Rust-based browser automation framework
Cull emails from a gmail account using the gmail API
Elgato StreamDeck based Automation Software
Machine vision based automation
SZS ontology status types for TPTP-based automated reasoning tools
A DSL for browser based automated testing
Config-based browser automation — define actions in YAML, execute deterministically
Generate versions for any commit from git and other version control - perfect for CI/CD builds and multiple formats
foras is a First-Order Reasoner which uses the principles of predicate logic to derive new facts, verify statements, and prove theorems from an existing knowledge base.
A BitTorrent Client in your Terminal.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.