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