pillip

Pinned Repositories

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

pillip's Repositories

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