achlipala

Researcher in tools and platforms to help do niftier things with software and hardware

MITCambridge, MA

Pinned Repositories

frap
Formal Reasoning About Programs
Language:Coq677 45 2786
frapapp
Web application for course on Formal Reasoning About Programs
Language:UrWeb17 6 103
hacspec
Language:Python1 2 00
L07-abstract-datatypes1
Code for lecture 7
Language:Java1 2 01
L08-abstract-datatypes2
Code for lecture 8
Language:Java2 2 01
links
Links to stuff arising from or related to the HACS workshop.
1 2 01
popl2015-papers
Accepted papers for POPL 2015
Language:Python1 2 00
testpg
OpenShift w/ Postgres test
Language:JavaScript1 2 00
TPP2014
Theorem proving and provers for reliable theory and implementations
Language:Coq1 2 00
upo_mit
UPO extensions for MIT
Language:UrWeb3 3 00

achlipala's Repositories

achlipala/frap
Formal Reasoning About Programs
Language:Coq677 45 2786
achlipala/frapapp
Web application for course on Formal Reasoning About Programs
Language:UrWeb17 6 103
achlipala/upo_mit
UPO extensions for MIT
Language:UrWeb3 3 00
achlipala/L08-abstract-datatypes2
Code for lecture 8
Language:Java2 2 01
achlipala/FrameworkBenchmarks
Source for the TechEmpower Framework Benchmarks project
Language:Java1 1 01
achlipala/hacspec
Language:Python1 2 00
achlipala/L07-abstract-datatypes1
Code for lecture 7
Language:Java1 2 01
achlipala/links
Links to stuff arising from or related to the HACS workshop.
1 2 01
achlipala/popl2015-papers
Accepted papers for POPL 2015
Language:Python1 2 00
achlipala/testpg
OpenShift w/ Postgres test
Language:JavaScript1 2 00
achlipala/TPP2014
Theorem proving and provers for reliable theory and implementations
Language:Coq1 2 00