Hugging Face's logo

Snapkitty
/
ai-free

snapkitty
october-2026-drop
lean4
forth
bcpl
wolfram
compiler
formal-verification
riscv
arm64
Model card Files
xet
 Community
ai-free / formal /WordDialect
66.2 kB
  • 1 contributor
 History: 2 commits
SNAPKITTYWEST's picture
SNAPKITTYWEST
Sync from GitHub at 25c8330: hardware-in-the-loop rig, SAM D21 board, guard elimination on RV32/Cortex-M3
0e9783b verified