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 10 hours ago
phanerozoic/hi-21cm-survey updated
a dataset about 10 hours ago
phanerozoic/qiskit-calibration-drift updated
a dataset about 17 hours ago
phanerozoic/qiskit-zenodragging Organizations
models 305
phanerozoic/threshold-prefix-xor
Updated
• 1
phanerozoic/threshold-prefix-or
Updated
• 1
phanerozoic/threshold-prefix-and
Updated
• 2
phanerozoic/threshold-ffs8
Updated
• 1
phanerozoic/threshold-ctz8
Updated
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
• 5
datasets 91
phanerozoic/hi-21cm-survey
Viewer
• Updated
• 1.01M • 1.66k
phanerozoic/qiskit-calibration-drift
Viewer
• Updated
• 958k • 3.83k
phanerozoic/qiskit-zenodragging
Updated
• 29
phanerozoic/qiskit-noise
Updated
• 28
phanerozoic/qiskit-ftqc
Updated
• 33
phanerozoic/Why3
Viewer
• Updated
• 3.16k • 16
phanerozoic/ACL2
Viewer
• Updated
• 231k • 11
phanerozoic/Dafny
Viewer
• Updated
• 9.57k • 17
phanerozoic/F-Star
Viewer
• Updated
• 13k • 15
phanerozoic/Isabelle-Stdlib
Viewer
• Updated
• 78k • 20