phanerozoic
/

threshold-calculus

threshold-logic

verified-computing

digital-circuits

Model card Files Files and versions

threshold-calculus

559 MB

2 contributors

History: 62 commits

CharlesCNorton

Add float32 circuits and 32-bit arithmetic support

1493f19 about 1 month ago

.gitattributes
1.52 kB

initial commit about 1 month ago
.gitignore
13 Bytes

Fix signal registry to use actual gate names instead of canonical aliases about 1 month ago
README.md
8.62 kB

Add float16 scientific LUT ops about 1 month ago
app.py
1.91 kB

Add gate-level calculator UI and CLI expr mode about 1 month ago
arithmetic.safetensors
558 MB
xet

Add float32 circuits and 32-bit arithmetic support about 1 month ago
build.py
542 kB

Add float32 circuits and 32-bit arithmetic support about 1 month ago
calculator.py
40.8 kB

Add implicit multiplication to expression parser about 1 month ago
eval.py
137 kB

Add float32 circuits and 32-bit arithmetic support about 1 month ago
requirements.txt
25 Bytes

Add gate-level calculator UI and CLI expr mode about 1 month ago