Programming Languages and Verification Group at MIT CSAIL

icon indicating a website link http://plv.csail.mit.edu/

icon location MIT CSAIL, Building 32–G8

Results 13 repositories owned by Programming Languages and Verification Group at MIT CSAIL

rewriter

24
Stars
19
Forks
Watchers

Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting

verified publisher icon mit-plv

riscv-coq

99
Stars
17
Forks
Watchers

RISC-V Specification in Coq

verified publisher icon mit-plv

rupicola

50
Stars
11
Forks
Watchers

Gallina to Bedrock2 compilation toolkit

verified publisher icon mit-plv