kanata

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

• 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
• trealla-prolog Compact and efficient ISO Prolog interpreter written in plain old C
• 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
• consul-template Generic template rendering and notifications with Consul