Cradicle Explorer
adl-examples
Info
Issues
Patches
Wallets
Source
Source
.forgejo
auction
basic_bank
battleship
bubblesort
build
inputs
src
.env
.gitignore
README.md
leo.lock
program.json
core
example_with_test
fibonacci
groups
hackers-delight
helloworld
interest
lottery
message
simple_token
tictactoe
token
twoadicity
upgrades
vote
.gitignore
README.md
/
bubblesort
/ .gitignore
.gitignore
1
.env
2
outputs/
3
*.prover
4
*.verifier