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
3.41 MB
Ctrl+K
Ctrl+K
  • 2 contributors
History: 43 commits
CharlesCNorton
Add randomized float16 tests and document open issues
10e432e 3 months ago
  • .gitattributes
    1.52 kB
    initial commit 3 months ago
  • .gitignore
    13 Bytes
    Fix signal registry to use actual gate names instead of canonical aliases 3 months ago
  • README.md
    5.44 kB
    Add randomized float16 tests and document open issues 3 months ago
  • arithmetic.safetensors
    3.02 MB
    xet
    Fix multiplier8x8 signal registry to use full gate names 3 months ago
  • build.py
    293 kB
    Fix multiplier8x8 signal registry to use full gate names 3 months ago
  • eval.py
    90 kB
    Add randomized float16 tests and document open issues 3 months ago