Stars
Compiler
5 repositories
The CompCert formally-verified C compiler
Example code shown in https://www.youtube.com/watch?v=RnBOOF502p0
A collection of out-of-tree LLVM passes for teaching and learning
A lightweight LLVM python binding for writing JIT compilers