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
313da7e
threshold-calculus
445 MB
Ctrl+K
Ctrl+K
2 contributors
History:
55 commits
CharlesCNorton
Add float16 constant circuits
313da7e
3 months ago
.gitattributes
Safe
1.52 kB
initial commit
4 months ago
.gitignore
Safe
13 Bytes
Fix signal registry to use actual gate names instead of canonical aliases
3 months ago
README.md
Safe
8.62 kB
Add float16 scientific LUT ops
3 months ago
app.py
Safe
1.91 kB
Add gate-level calculator UI and CLI expr mode
3 months ago
arithmetic.safetensors
444 MB
xet
Add float16 constant circuits
3 months ago
build.py
500 kB
Add float16 constant circuits
3 months ago
calculator.py
37 kB
Add float16 constant circuits
3 months ago
eval.py
119 kB
Add float16 constant circuits
3 months ago
requirements.txt
Safe
25 Bytes
Add gate-level calculator UI and CLI expr mode
3 months ago