trealla-prolog
Compact and efficient ISO Prolog interpreter written in plain old C
brew install trealla-prolog More in Homebrew formulae
All 3,000- s5cmd Parallel S3 and local filesystem execution tool
- texlab Implementation of the Language Server Protocol for LaTeX
- bitwuzla SMT solver for bit-vectors, floating-points, arrays and uninterpreted functions
- softhsm Cryptographic store accessible through a PKCS#11 interface
- tsshd UDP-based SSH server with roaming support
- dumbpipe Unix pipes between devices
- kanata Cross-platform software keyboard remapper for Linux, macOS and Windows
- osi Open Solver Interface
- vespa-cli Command-line tool for Vespa.ai
- fava Web interface for the double-entry bookkeeping software Beancount
- egctl Command-line utility for operating Envoy Gateway
- fisher Plugin manager for the Fish shell