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 collection
less than a minute ago
Threshold Logic Circuits
updated
a model
less than a minute ago
phanerozoic/threshold-exactly7outof8
published
a model
less than a minute ago
phanerozoic/threshold-exactly7outof8
Organizations
models
84
phanerozoic/threshold-exactly7outof8
Updated
phanerozoic/threshold-exactly6outof8
Updated
phanerozoic/threshold-exactly5outof8
Updated
phanerozoic/threshold-exactly4outof8
Updated
phanerozoic/threshold-exactly3outof8
Updated
phanerozoic/threshold-exactly2outof8
Updated
phanerozoic/threshold-exactly1outof8
Updated
phanerozoic/threshold-multiplier2x2
Updated
phanerozoic/threshold-greaterthan
Updated
phanerozoic/threshold-equal
Updated
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
•
24
phanerozoic/Isabelle-Stdlib
Viewer
•
Updated
•
78k
•
23
phanerozoic/Isabelle-seL4
Viewer
•
Updated
•
74.1k
•
29
phanerozoic/Agda-TypeTopology
Viewer
•
Updated
•
7.78k
•
14
phanerozoic/Agda-Prelude
Viewer
•
Updated
•
735
•
24
phanerozoic/Agda-HoTT
Viewer
•
Updated
•
604
•
22
phanerozoic/Agda-1Lab
Viewer
•
Updated
•
2.11k
•
23