rezac2121

Pinned Repositories

tictactoe
Language:Shell00
vanguard-aleo_by
Static analysis toolkit for security analysis in Aleo programs
Language:Python00
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k655

rezac2121's Repositories

rezac2121/vanguard-aleo_by
Static analysis toolkit for security analysis in Aleo programs
rezac2121/tictactoe
Language:Shell