Spirit1611

Pinned Repositories

leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
Language:Rust4.8k 37 21.2k658
gitpod
workspace
0 1 00
Hello-World
first project
2 1 00
Porshe
Language:Shell5 1 00
project
2 1 00
tea-b
tea c
2 1 00
tea-bc
2 1 00

Spirit1611's Repositories

Spirit1611/Porshe
Language:Shell5 1 00
Spirit1611/Hello-World
first project
2 1 00
Spirit1611/project
2 1 00
Spirit1611/tea-b
tea c
2 1 00
Spirit1611/tea-bc
2 1 00
Spirit1611/gitpod
workspace
0 1 00