4 projects
automud
Persistent telnet/MUD session manager you drive by hand or with an agent. No LLM, no API key.
touchstone-prover
An SMT-based verifier for Python with a machine-checked trust base.
qubasic
Quantum BASIC Interactive Terminal
yoflo
YO-FLO: A proof-of-concept in using advanced vision models as a YOLO alternative.
