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 3 hours ago
phanerozoic/qiskit-zenodragging
published
a dataset
3 days ago
phanerozoic/qiskit-zenodragging
updated
a dataset
3 days ago
phanerozoic/qiskit-noise
Organizations
models
284
phanerozoic/threshold-crc16-mag53
Updated
•
19
phanerozoic/threshold-pruner
Updated
phanerozoic/threshold-ladner-fischer
Updated
•
15
phanerozoic/threshold-sklansky
Updated
•
17
phanerozoic/threshold-han-carlson
Updated
•
18
phanerozoic/threshold-brent-kung
Updated
•
15
phanerozoic/threshold-8to3encoder
Updated
•
17
phanerozoic/threshold-7segment
Updated
•
15
phanerozoic/threshold-7outof8
Updated
•
16
phanerozoic/threshold-6outof8
Updated
•
13
datasets
89
phanerozoic/qiskit-zenodragging
Updated
•
57
phanerozoic/qiskit-noise
Updated
•
12
phanerozoic/qiskit-ftqc
Updated
•
16
phanerozoic/Why3
Viewer
•
Updated
•
3.16k
•
26
phanerozoic/ACL2
Viewer
•
Updated
•
231k
•
26
phanerozoic/Dafny
Viewer
•
Updated
•
9.57k
•
22
phanerozoic/F-Star
Viewer
•
Updated
•
13k
•
28
phanerozoic/Isabelle-Stdlib
Viewer
•
Updated
•
78k
•
25
phanerozoic/Isabelle-seL4
Viewer
•
Updated
•
74.1k
•
32
phanerozoic/Agda-TypeTopology
Viewer
•
Updated
•
7.78k
•
15