Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
threshold-calculus
like
0
Other
English
threshold-logic
arithmetic
verified-computing
neuromorphic
digital-circuits
frozen-weights
License:
apache-2.0
Model card
Files
Files and versions
xet
Community
6c2c63e
threshold-calculus
248 MB
Ctrl+K
Ctrl+K
2 contributors
History:
46 commits
CharlesCNorton
Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit
6c2c63e
3 months ago
.gitattributes
Safe
1.52 kB
initial commit
3 months ago
.gitignore
Safe
13 Bytes
Fix signal registry to use actual gate names instead of canonical aliases
3 months ago
README.md
5.28 kB
Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit
3 months ago
arithmetic.safetensors
247 MB
xet
Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit
3 months ago
build.py
Safe
492 kB
Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit
3 months ago
eval.py
Safe
111 kB
Rebuild float16 LUT/pow + 16-bit arithmetic; fix neg16bit
3 months ago