7 projects
nosis
Correctness-first FPGA synthesis targeting the Lattice ECP5
touchstone-prover
An SMT-based verifier for Python with a machine-checked trust base.
scoremill
Text-notation MIDI composition library designed for language-model agents
rime-ecp5
RIME: resident management environment for the Lattice ECP5 IcePi Zero, synthesized with nosis (no yosys)
automud
Persistent telnet/MUD session manager you drive by hand or with an agent. No LLM, no API key.
qubasic
Quantum BASIC Interactive Terminal
yoflo
YO-FLO: A proof-of-concept in using advanced vision models as a YOLO alternative.
