Pinned Repositories
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
ChoiceCoin.github.io
Choice Coin Public Website
tictactoe
thalivet's Repositories
thalivet/ChoiceCoin.github.io
Choice Coin Public Website
thalivet/tictactoe