Snapkitty
/

sovereign-array

sovereign-compute

formal-verification

Model card Files Files and versions

sovereign-array

163 kB

Ctrl+K

Ctrl+K

1 contributor

History: 6 commits

SNAPKITTYWEST's picture

Metadata: discovery tags (collection, languages)

a23638b verified 7 days ago

ArrayLang
Sync with GitHub, license metadata from LICENSE files, commercial license notice 7 days ago
hardware
chore: convert from dataset to model repo about 1 month ago
include
chore: convert from dataset to model repo about 1 month ago
src
chore: convert from dataset to model repo about 1 month ago
test
chore: convert from dataset to model repo about 1 month ago
tests
Sync with GitHub, license metadata from LICENSE files, commercial license notice 7 days ago
verification
chore: convert from dataset to model repo about 1 month ago
.gitattributes

1.52 kB
initial commit about 1 month ago
.gitignore

18 Bytes
Sync with GitHub, license metadata from LICENSE files, commercial license notice 7 days ago
CMakeLists.txt

727 Bytes
chore: convert from dataset to model repo about 1 month ago
LICENSE

34.5 kB
Sync with GitHub, license metadata from LICENSE files, commercial license notice 7 days ago
README.md

7.15 kB
Metadata: discovery tags (collection, languages) 7 days ago
lakefile.lean

139 Bytes
chore: convert from dataset to model repo about 1 month ago
lean-toolchain

26 Bytes
chore: convert from dataset to model repo about 1 month ago
stress_test.sh

6.49 kB
chore: convert from dataset to model repo about 1 month ago