tangled
Sign in Join now
claudius-playground patrick.sirref.org /
Star Starred Star 0
Something went wrong. Try again.
Fork 0
Eye filled Watch Watching Watch
Star Starred Star
Something went wrong. Try again.
Fork
Eye filled Watch Watching Watch
Overview Overview Issues Issues Pulls Pulls Pipelines Pipelines
Branches
Tags
View all branches View all tags

5 1 0

Clone this repository

HTTPS
https://next-dev.tangled.org/patrick.sirref.org/claudius-playground
SSH
git@:patrick.sirref.org/claudius-playground

For self-hosted knots, clone URLs may differ based on your setup.

tar.gz .zip
Files
dist
2d ago
src
2d ago
.gitignore
5d ago
.ocamlformat
5d ago
claudius-playground.opam
1d ago
claudius-playground.opam.template
1d ago
dune-project
1d ago
LICENSE
5d ago
README.md
5d ago
README.md

claudius-playground #

Enjoy the super-duper Claudius from the comfort of your browser. Have a go at: https://patrick.sirref.org/claudius

Commits 5
Remove unused js_top_worker and upper-bound jsoo
· 1d ago
Copy SHA
Add zarith_stubs_js to opam
· 1d ago
Copy SHA
Add a local storage and reset the toplevel on run
· 2d ago
Copy SHA
Add link
· 5d ago
Copy SHA
Initial commit
· 5d ago
Copy SHA
Branches 1
main · 1d ago Default
Languages
  • OCaml 100%