Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
Charles Norton
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
updated
a collection
about 8 hours ago
Tiny Verified Logic Circuits
updated
a model
about 8 hours ago
phanerozoic/tiny-RippleCarry2Bit-verified
published
a model
about 8 hours ago
phanerozoic/tiny-RippleCarry2Bit-verified