Hugging Face
Search models, datasets, users...
Ctrl K
Models
Datasets
Spaces
Buckets
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
/
snapkitty-clojure-lisp-bridge
Like
0
Follow
Snapkitty Collective LLC
9
snapkitty
compilers
clojure
lean4
License:
agpl-3.0
Model card
Files
Files and versions
xet
Community
Copy to bucket
main
snapkitty-clojure-lisp-bridge
/
docs
4.6 MB
Ctrl+K
Ctrl+K
1 contributor
History:
1 commit
SNAPKITTYWEST
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
119e586
verified
2 months ago
assets
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
js
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
.nojekyll
Safe
0 Bytes
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
clojure-compiler.html
Safe
11.1 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
demo-recording.sh
Safe
661 Bytes
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
demo.html
Safe
15.1 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
demo.mp4
Safe
28.7 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
emulator-manifest.json
Safe
594 Bytes
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
index.html
Safe
17.3 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
lisp-machine-manifest.json
Safe
520 Bytes
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
lisp-machine-terminal.html
Safe
11 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
lisp-machine.html
Safe
19.9 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
lisp-machine.tsx
Safe
8.36 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
lisp_demo_cleaned.mp4
Safe
4.12 MB
xet
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
ltms-console.html
Safe
24.3 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
soulvm-debugger.html
Safe
20.5 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
soulvm-jit-demo.html
Safe
13.4 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
sovereign-emulator.html
Safe
104 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
sovereign-runtime.html
Safe
26.5 kB
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago
sw.js
Safe
650 Bytes
push from SNAPKITTYWEST/snapkitty-clojure-lisp-bridge
2 months ago