Boolean gates, voting functions, modular arithmetic, and adders as threshold networks.
Charles Norton PRO
phanerozoic
AI & ML interests
machina sola regnat
Recent Activity
updated a dataset about 12 hours ago
phanerozoic/qiskit-calibration-drift updated a dataset about 22 hours ago
phanerozoic/hi-21cm-survey updated a dataset 2 days ago
phanerozoic/hi-21cm-surveyOrganizations
models 305
phanerozoic/threshold-prefix-xor
Updated • 2
phanerozoic/threshold-prefix-or
Updated • 1
phanerozoic/threshold-prefix-and
Updated
phanerozoic/threshold-ffs8
Updated
phanerozoic/threshold-ctz8
Updated • 3
phanerozoic/threshold-4to2-compressor
Updated • 2
phanerozoic/threshold-3to2-compressor
Updated
phanerozoic/threshold-carry-propagate
Updated • 2
phanerozoic/threshold-carry-generate
Updated • 1
phanerozoic/threshold-popcount3
Updated
datasets 91
phanerozoic/qiskit-calibration-drift
Viewer • Updated • 1.98M • 3.48k
phanerozoic/hi-21cm-survey
Updated • 2.21k • 1
phanerozoic/qiskit-zenodragging
Updated • 206
phanerozoic/qiskit-noise
Updated • 11
phanerozoic/qiskit-ftqc
Updated • 17
phanerozoic/Why3
Viewer • Updated • 3.16k • 7
phanerozoic/ACL2
Viewer • Updated • 231k • 4
phanerozoic/Dafny
Viewer • Updated • 9.57k • 11
phanerozoic/F-Star
Viewer • Updated • 13k • 3
phanerozoic/Isabelle-Stdlib
Viewer • Updated • 78k • 16