osi

Extra Credit builds an outline of osi's docs the first time your work uses it. Until then, start at the official documentation.

• 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
• trealla-prolog Compact and efficient ISO Prolog interpreter written in plain old C
• kanata Cross-platform software keyboard remapper for Linux, macOS and Windows
• 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
• consul-template Generic template rendering and notifications with Consul
• superhtml HTML Language Server & Templating Language Library