GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → jashug → FormalizedCompilerAlgorithms

jashug / FormalizedCompilerAlgorithms

Licence: MIT License
Formalization in Coq of algorithms used in compilers for the Compiler.org project

Programming Languages

Coq
218 projects

Coq code for the compiler.org project.

Compile by

coq_makefile -f _CoqProject -o Makefile
make

Using Coq master 2a7992f75.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].