alessandra simmons's repositories
formalizing-game-theory
Example formalization of Game Theoretic concepts in Lean
Language:Rust000
Language:Jupyter Notebook000
Language:HTML000
fourbeecpu
very simple 4-bit cpu powered by tiny bees
Language:VerilogGPL-3.0000
Language:RustMIT000
Omega
Omega, a kind of jailbreak on Numworks?
Language:C++NOASSERTION000
Omega-App-Template
A blank app.
Language:C++NOASSERTION000
Omega-Website
Omega, the next evolution of Epsilon! And here's his website :)
Language:Rust000
qmk_firmware
keyboard controller firmware for Atmel AVR and ARM USB families
Language:CGPL-2.0000
Language:RustMIT000
rclogic
https://mixedmatched.github.io/rclogic/
Language:JavaScriptAGPL-3.0000
Language:Rust000
rustworks
Operating system written in Rust for NumWorks calculator (model n0110)
GPL-3.0000
Language:HTML000
tortoise-tts-fast
Fast TorToiSe inference (5x or your money back!)
Language:Jupyter NotebookAGPL-3.0000
Language:JavaScript000