yanickpauloamaro

Pinned Repositories

mathgraph
Language:Scala0 1 00
StainlessFit
Stainless directly built on System FR, with standalone front-end
Language:Scala5 9 257
SDP_PolyChef
EPFL Software development project (CS-306) - PolyChef App
Language:Java3 2 1631
hotcrypto
EPFL Master Semester Project
Language:Rust0 1 00
MasterProject
Master Thesis on parallel virtual machine for blockchain systems
Language:Rust00
StainlessFit
Stainless directly built on System FR, with standalone front-end
Language:Scala0 0 00

yanickpauloamaro's Repositories

yanickpauloamaro/hotcrypto
EPFL Master Semester Project
Language:Rust0 1 00
yanickpauloamaro/MasterProject
Master Thesis on parallel virtual machine for blockchain systems
Language:Rust00
yanickpauloamaro/StainlessFit
Stainless directly built on System FR, with standalone front-end
Language:Scala0 0 00