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
/
sov-kernel-monster
Like
0
Follow
Snapkitty Collective LLC
9
English
custom
sovereign-compute
formal-verification
lean4
multi-agent
worm-chain
qataaum
cuda
snapkitty
fortran
agda
License:
sovereign-source-license
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
sov-kernel-monster
/
seb
/
human_touch
119 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
SNAPKITTYWEST
Sync with GitHub, license metadata from LICENSE files, commercial license notice
ebed3db
verified
about 11 hours ago
src
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 11 hours ago
Cargo.lock
42.2 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 11 hours ago
Cargo.toml
967 Bytes
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 11 hours ago
IMPLEMENTATION_GUIDE.md
17.4 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 11 hours ago
README.md
18 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice
about 11 hours ago
