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 5 hours ago
phanerozoic/hi-21cm-survey updated a dataset about 5 hours ago
phanerozoic/qiskit-calibration-drift updated a dataset 16 days ago
phanerozoic/qiskit-zenodraggingOrganizations
models 305
phanerozoic/threshold-prefix-xor
Updated • 2
phanerozoic/threshold-prefix-or
Updated • 1
phanerozoic/threshold-prefix-and
Updated • 1
phanerozoic/threshold-ffs8
Updated • 1
phanerozoic/threshold-ctz8
Updated • 1
phanerozoic/threshold-4to2-compressor
Updated
phanerozoic/threshold-3to2-compressor
Updated • 1
phanerozoic/threshold-carry-propagate
Updated
phanerozoic/threshold-carry-generate
Updated • 1
phanerozoic/threshold-popcount3
Updated • 1
datasets 91
phanerozoic/hi-21cm-survey
Viewer • Updated • 2.49M • 1.56k
phanerozoic/qiskit-calibration-drift
Viewer • Updated • 1.44M • 3.33k
phanerozoic/qiskit-zenodragging
Updated • 230
phanerozoic/qiskit-noise
Updated • 22
phanerozoic/qiskit-ftqc
Updated • 35
phanerozoic/Why3
Viewer • Updated • 3.16k • 15
phanerozoic/ACL2
Viewer • Updated • 231k • 7
phanerozoic/Dafny
Viewer • Updated • 9.57k • 18
phanerozoic/F-Star
Viewer • Updated • 13k • 16
phanerozoic/Isabelle-Stdlib
Viewer • Updated • 78k • 18