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
/
sovereign-mamba
like
0
Follow
Snapkitty Collective
1
English
sovereign-compute
worm-chain
formal-verification
License:
sovereign-source-license-v2
Model card
Files
Files and versions
xet
Community
Copy to bucket
new
main
sovereign-mamba
258 kB
Ctrl+K
Ctrl+K
1 contributor
History:
5 commits
SNAPKITTYWEST
docs: add model description and DOI catalog link
94126c3
verified
7 days ago
.github
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
examples
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
kernel
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
lean4
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
nemotron-harness
Add nemotron harness source: Modelfile, kernel gates, corpus policy, Lean4, sovereign_crypto
about 1 month ago
prompts
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
src
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
tests
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
.env.example
Safe
183 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
.gitattributes
Safe
1.52 kB
initial commit
about 1 month ago
.gitignore
Safe
119 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
LICENSE
Safe
1.09 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
Modelfile
Safe
1.54 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
README.md
Safe
516 Bytes
docs: add model description and DOI catalog link
7 days ago
harness.config.json
Safe
674 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
index.html
Safe
13.1 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
package.json
Safe
601 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
server.ts
Safe
20.8 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
trust-deed.json
Safe
5.11 kB
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
tsconfig.json
Safe
320 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
vite.config.ts
Safe
157 Bytes
Add sovereign-mamba source: Modelfile, kernel Prolog gates, sovereign_crypto Rust, Lean4, corpus policy
about 1 month ago
