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
Ctrl+K
Ctrl+K
  • 2 contributors
History: 40 commits
CharlesCNorton
Add inputs-coverage sweep and document coverage run
d4442da 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
    4.66 kB
    Add inputs-coverage sweep and document coverage run 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
    82.1 kB
    Add inputs-coverage sweep and document coverage run 3 months ago