p0llard

FPGAs @ Jump Trading.

Imperial College LondonLondon

Pinned Repositories

CompCert
The CompCert formally-verified C compiler
Language:Coq0 1 00
coq-au-vin
Some useful coq tactics
0 2 00
dotfiles
Language:Emacs Lisp0 2 00
IMProved
Language:Coq1 2 00
manipulation
Course notes for MIT manipulation class
Language:HTML0 1 00
py3status
py3status is an extensible i3status wrapper written in python
Language:Python0 1 00
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Language:Coq0 1 00
vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Language:Coq86 12 75

p0llard's Repositories

p0llard/IMProved
Language:Coq1 2 00
p0llard/CompCert
The CompCert formally-verified C compiler
Language:Coq0 1 00
p0llard/coq-au-vin
Some useful coq tactics
0 2 00
p0llard/dotfiles
Language:Emacs Lisp0 2 00
p0llard/manipulation
Course notes for MIT manipulation class
Language:HTML0 1 00
p0llard/py3status
py3status is an extensible i3status wrapper written in python
Language:Python0 1 00
p0llard/vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
Language:Coq0 1 00