Formally verified threshold logic circuits. Compatible with neuromorphic hardware.
Charles Norton
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
updated
a model
about 9 hours ago
phanerozoic/8bit-threshold-computer-10166
updated
a model
about 14 hours ago
phanerozoic/32bit-threshold-computer
updated
a model
about 14 hours ago
phanerozoic/16bit-threshold-computer
Organizations
models
68
phanerozoic/8bit-threshold-computer-10166
Updated
phanerozoic/32bit-threshold-computer
Other
•
Updated
phanerozoic/16bit-threshold-computer
Updated
phanerozoic/tiny-RippleCarry2Bit-verified
Updated
phanerozoic/tiny-FullAdder-verified
Updated
phanerozoic/tiny-HalfAdder-verified
Updated
phanerozoic/tiny-mod12-verified
Updated
phanerozoic/tiny-mod11-verified
Updated
phanerozoic/tiny-mod10-verified
Updated
phanerozoic/tiny-mod9-verified
Updated
datasets
86
phanerozoic/Why3
Viewer
•
Updated
•
3.16k
•
25
phanerozoic/ACL2
Viewer
•
Updated
•
231k
•
23
phanerozoic/Dafny
Viewer
•
Updated
•
9.57k
•
21
phanerozoic/F-Star
Viewer
•
Updated
•
13k
•
24
phanerozoic/Isabelle-Stdlib
Viewer
•
Updated
•
78k
•
23
phanerozoic/Isabelle-seL4
Viewer
•
Updated
•
74.1k
•
29
phanerozoic/Agda-TypeTopology
Viewer
•
Updated
•
7.78k
•
13
phanerozoic/Agda-Prelude
Viewer
•
Updated
•
735
•
24
phanerozoic/Agda-HoTT
Viewer
•
Updated
•
604
•
22
phanerozoic/Agda-1Lab
Viewer
•
Updated
•
2.11k
•
23