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 dataset
about 6 hours ago
phanerozoic/qiskit-zenodragging
published
a dataset
about 20 hours ago
phanerozoic/qiskit-zenodragging
updated
a dataset
about 21 hours ago
phanerozoic/qiskit-noise
Organizations
models
284
phanerozoic/threshold-crc16-mag53
Updated
•
18
phanerozoic/threshold-pruner
Updated
phanerozoic/threshold-ladner-fischer
Updated
•
8
phanerozoic/threshold-sklansky
Updated
•
14
phanerozoic/threshold-han-carlson
Updated
•
14
phanerozoic/threshold-brent-kung
Updated
•
15
phanerozoic/threshold-8to3encoder
Updated
•
17
phanerozoic/threshold-7segment
Updated
•
15
phanerozoic/threshold-7outof8
Updated
•
14
phanerozoic/threshold-6outof8
Updated
•
13
datasets
89
phanerozoic/qiskit-zenodragging
Updated
•
13
phanerozoic/qiskit-noise
Updated
•
7
phanerozoic/qiskit-ftqc
Updated
•
11
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