MathieuChevalley

Pinned Repositories

313-Recitation-1
First recitation of Fondation of Software Engineering
Language:Java0 1 10
alpano
Language:Java0 1 00
bolts
Bolts: Stainless Verified Scala
Language:Scala0 1 00
CookiePolice
A web browser extension evaluating security and privacy of visited websites
Language:JavaScript0 1 01
DomainBed
DomainBed is a suite to test domain generalization algorithms
Language:Python0 0 00
HashTable
Language:C0 1 00
Intersort
Repository for the paper "Deriving Causal Order from Single-Variable Interventions: Guarantees & Algorithm"
Language:Python2 1 00
LowLatency-algothon2021
Language:Jupyter Notebook0 2 00
SkyTravel
Language:Java0 2 00
stainless
Verification framework for higher-order functional programs
Language:Scala0 1 00

MathieuChevalley's Repositories

MathieuChevalley/Intersort
Repository for the paper "Deriving Causal Order from Single-Variable Interventions: Guarantees & Algorithm"
Language:Python2 1 00
MathieuChevalley/313-Recitation-1
First recitation of Fondation of Software Engineering
Language:Java0 1 10
MathieuChevalley/alpano
Language:Java0 1 00
MathieuChevalley/bolts
Bolts: Stainless Verified Scala
Language:Scala0 1 00
MathieuChevalley/CookiePolice
A web browser extension evaluating security and privacy of visited websites
Language:JavaScript0 1 01
MathieuChevalley/DomainBed
DomainBed is a suite to test domain generalization algorithms
Language:Python0 0 00
MathieuChevalley/HashTable
Language:C0 1 00
MathieuChevalley/LowLatency-algothon2021
Language:Jupyter Notebook0 2 00
MathieuChevalley/MathieuChevalley.github.io
Language:HTML0 1 00
MathieuChevalley/SkyTravel
Language:Java0 2 00
MathieuChevalley/stainless
Verification framework for higher-order functional programs
Language:Scala0 1 00
MathieuChevalley/project-database-venmo
1 0