Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Snapkitty
/
sparse-router-formal
Like
0
Follow
Snapkitty Collective LLC
9
Rust
snapkitty
october-2026-drop
pascal
lean4
c
kani
work-stealing
scheduler
formal-verification
License:
sovereign-leviathan-sl-agpl3-001
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
sparse-router-formal
/
pascal
152 kB
Ctrl+K
Ctrl+K
1 contributor
History:
3 commits
SNAPKITTYWEST
Add covenant SPDX headers to every remaining unmarked source file
f7ccd08
verified
14 days ago
ffi
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
DEPLOYMENT_SUMMARY.txt
Safe
14.5 kB
October 2026 main drop: mirror from GitHub
16 days ago
IMPLEMENTATION_SUMMARY.md
Safe
10.5 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
14 days ago
INTEGRATION_GUIDE.md
Safe
12.5 kB
October 2026 main drop: mirror from GitHub
16 days ago
Makefile
Safe
1.19 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
PROJECT_MANIFEST.md
Safe
10.6 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
14 days ago
QUICK_REFERENCE.txt
Safe
25.9 kB
October 2026 main drop: mirror from GitHub
16 days ago
README.md
Safe
8.79 kB
Relicense under the Sovereign Leviathan covenant; remove MIT and Apache
14 days ago
buffer.pas
Safe
3.89 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
descriptor.pas
Safe
4.21 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
governance.pas
Safe
6.41 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
materialize.pas
Safe
4.34 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
nraay_tensor_ref.pas
Safe
4.88 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
ownership.pas
Safe
3.7 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
tensor.pas
Safe
8.67 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
tensor_array.pas
Safe
4.79 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
tests.pas
Safe
7.31 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago
validation.pas
Safe
10.1 kB
Add covenant SPDX headers to every remaining unmarked source file
14 days ago