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