Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets new
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

phanerozoic
/
threshold-calculus

Other
English
threshold-logic
arithmetic
verified-computing
neuromorphic
digital-circuits
frozen-weights
Model card Files Files and versions
xet
Community
threshold-calculus
445 MB
Ctrl+K
Ctrl+K
  • 2 contributors
History: 55 commits
CharlesCNorton
Add float16 constant circuits
313da7e 3 months ago
  • .gitattributes
    1.52 kB
    initial commit 4 months ago
  • .gitignore
    13 Bytes
    Fix signal registry to use actual gate names instead of canonical aliases 3 months ago
  • README.md
    8.62 kB
    Add float16 scientific LUT ops 3 months ago
  • app.py
    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
    25 Bytes
    Add gate-level calculator UI and CLI expr mode 3 months ago