Spirit1611

Pinned Repositories

leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 37 21.3k655
gitpod
workspace
00
Hello-World
first project
20
Porshe
Language:Shell50
project
20
tea-b
tea c
20
tea-bc
20

Spirit1611's Repositories

Spirit1611/Porshe
Language:Shell50
Spirit1611/Hello-World
first project
20
Spirit1611/project
20
Spirit1611/tea-b
tea c
20
Spirit1611/tea-bc
20
Spirit1611/gitpod
workspace
00