Hugging Face's logo

Snapkitty
/
sparse-router-formal

Rust
snapkitty
october-2026-drop
pascal
lean4
c
kani
work-stealing
scheduler
formal-verification
Model card Files
xet
 Community
sparse-router-formal / rust /tensor-hw /IMPLEMENTATION.md

Commit History

17 days ago

  1. October 2026 main drop: mirror from GitHub

    SNAPKITTYWEST
    Verified signature
    32b4893