Pialex99

Pinned Repositories

BDD
Stand-alone BDD package
Language:C++0 1 030
chisel3
Chisel 3: A Modern Hardware Design Language
Language:Scala0 1 00
CS-550-Final-Project
Language:Scala0 2 01
frap
Formal Reasoning About Programs
Language:Coq0 1 00
ML_course
EPFL Machine Learning Course, Fall 2019
Language:Jupyter Notebook0 1 00
ML_ethics
Language:Ren'Py1 3 00
MSTPE
Language:Coq00
prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Language:Rust0 0 00
rust
Empowering everyone to build reliable and efficient software.
Language:Rust0 0 00
scallion
LL(1) parser combinators in Scala
Language:Scala0 1 00

Pialex99's Repositories

Pialex99/ML_ethics
Language:Ren'Py1 3 00
Pialex99/BDD
Stand-alone BDD package
Language:C++0 1 030
Pialex99/chisel3
Chisel 3: A Modern Hardware Design Language
Language:Scala0 1 00
Pialex99/CS-550-Final-Project
Language:Scala0 2 01
Pialex99/frap
Formal Reasoning About Programs
Language:Coq0 1 00
Pialex99/ML_course
EPFL Machine Learning Course, Fall 2019
Language:Jupyter Notebook0 1 00
Pialex99/MSTPE
Language:Coq00
Pialex99/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Language:Rust0 0 00
Pialex99/rust
Empowering everyone to build reliable and efficient software.
Language:Rust0 0 00
Pialex99/scallion
LL(1) parser combinators in Scala
Language:Scala0 1 00
Pialex99/spring20
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
Language:Coq1 0
Pialex99/SystemFR
System FR: Formalized Foundations for Stainless
Language:Coq1 0