Pinned Repositories
CompCert
The CompCert formally-verified C compiler
coq-au-vin
Some useful coq tactics
dotfiles
IMProved
manipulation
Course notes for MIT manipulation class
py3status
py3status is an extensible i3status wrapper written in python
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
p0llard's Repositories
p0llard/IMProved
p0llard/CompCert
The CompCert formally-verified C compiler
p0llard/coq-au-vin
Some useful coq tactics
p0llard/dotfiles
p0llard/manipulation
Course notes for MIT manipulation class
p0llard/py3status
py3status is an extensible i3status wrapper written in python
p0llard/vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.