Projects in Awesome Lists by MixedMatched
A curated list of projects in awesome lists by MixedMatched .
https://github.com/mixedmatched/formalizing-game-theory
Example formalization of Game Theoretic concepts in Lean
Last synced: 06 Apr 2026
https://github.com/mixedmatched/juniper
A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4
computer-algebra computer-algebra-system formal-methods formal-proofs lean lean4 rust
Last synced: 08 May 2025
https://github.com/mixedmatched/fourbeecpu
very simple 4-bit cpu powered by tiny bees
Last synced: 08 Jan 2026
https://github.com/mixedmatched/rclogic
https://mixedmatched.github.io/rclogic/
Last synced: 01 Aug 2025