Boolean gates, voting functions, modular arithmetic, and adders as threshold networks.
Charles Norton PRO
phanerozoic
AI & ML interests
Machina vincit omnia
Recent Activity
updated
a model
about 1 hour ago
phanerozoic/threshold-crc16-mag53
published
a model
about 1 hour ago
phanerozoic/threshold-crc16-mag53
updated
a model
about 7 hours ago
phanerozoic/threshold-and4
Organizations
models
284
phanerozoic/threshold-crc16-mag53
Updated
phanerozoic/threshold-ladner-fischer
Updated
phanerozoic/threshold-sklansky
Updated
phanerozoic/threshold-han-carlson
Updated
phanerozoic/threshold-brent-kung
Updated
phanerozoic/threshold-8to3encoder
Updated
•
9
phanerozoic/threshold-7segment
Updated
•
5
phanerozoic/threshold-7outof8
Updated
•
7
phanerozoic/threshold-6outof8
Updated
•
9
phanerozoic/threshold-5outof8
Updated
•
10
datasets
86
phanerozoic/Why3
Viewer
•
Updated
•
3.16k
•
25
phanerozoic/ACL2
Viewer
•
Updated
•
231k
•
25
phanerozoic/Dafny
Viewer
•
Updated
•
9.57k
•
21
phanerozoic/F-Star
Viewer
•
Updated
•
13k
•
25
phanerozoic/Isabelle-Stdlib
Viewer
•
Updated
•
78k
•
24
phanerozoic/Isabelle-seL4
Viewer
•
Updated
•
74.1k
•
31
phanerozoic/Agda-TypeTopology
Viewer
•
Updated
•
7.78k
•
14
phanerozoic/Agda-Prelude
Viewer
•
Updated
•
735
•
25
phanerozoic/Agda-HoTT
Viewer
•
Updated
•
604
•
22
phanerozoic/Agda-1Lab
Viewer
•
Updated
•
2.11k
•
23