pillip

Pinned Repositories

halmos
A symbolic testing tool for EVM smart contracts
Language:Python760 8 10858
100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
Language:Rust00
ContentsCreatorByExcel
Language:HTML0 1 00
defernece_2022
Language:CSS0 1 00
digitaldream9
A simple portfolio Jekyll theme:
Language:SCSS00
Genie
Language:Python00
genie_backend
Language:Python0 1 01
halmos
A symbolic testing tool for EVM smart contracts
Language:Python00
multi-scalar-multiplication
MSM(Multi Scalar Multiplication) calculation pkg on react native
Language:TypeScript00
supertone_task
Language:Python00

pillip's Repositories

pillip/100-exercises-to-learn-rust
A self-paced course to learn Rust, one exercise at a time.
Language:Rust00
pillip/ContentsCreatorByExcel
Language:HTML0 1 00
pillip/defernece_2022
Language:CSS0 1 00
pillip/digitaldream9
A simple portfolio Jekyll theme:
Language:SCSS00
pillip/Genie
Language:Python00
pillip/genie_backend
Language:Python0 1 01
pillip/halmos
A symbolic testing tool for EVM smart contracts
Language:Python00
pillip/multi-scalar-multiplication
MSM(Multi Scalar Multiplication) calculation pkg on react native
Language:TypeScript00
pillip/supertone_task
Language:Python00