jhjourdan / C11parserLinks
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
☆208Updated last year
Alternatives and similar repositories for C11parser
Users that are interested in C11parser are comparing it to the libraries listed below
Sorting:
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆207Updated 5 years ago
- Continuation Passing C☆114Updated 6 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆130Updated 2 years ago
- Nanopass for OCaml☆148Updated 8 years ago
- Semantics of C in K☆321Updated 3 years ago
- ☆89Updated 3 years ago
- A compiler from ML to C++ template language☆157Updated 10 years ago
- The Higher-Order Intermediate Representation☆160Updated last week
- Parallel ML compiler☆74Updated 5 years ago
- OCamlPro public development repository for Alt-Ergo☆139Updated 2 months ago
- Yet Another Earley Parser☆141Updated 3 years ago
- Prototype type inference engine☆205Updated 11 months ago
- Standard ML Compiler and Toolkit☆296Updated 3 weeks ago
- Runtime support for LLVM's GC Statepoints☆42Updated 5 years ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- ☆65Updated 9 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- Release snapshots of the Frama-C platform for source code analysis☆181Updated 5 years ago
- ☆87Updated 5 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- Quick C-- compiler (no longer maintained)☆164Updated 11 years ago
- SSA vs ANF☆47Updated 10 years ago
- A static verifier for concurrent C programs☆136Updated 4 years ago
- C Intermediate Language☆387Updated 2 years ago
- A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …☆90Updated 7 years ago
- Cogent Project☆174Updated 9 months ago
- Experiment on how to bootstrap the OCaml compiler☆111Updated 3 years ago
- SML reference interpreter☆121Updated 2 months ago
- Unison's source code☆110Updated last year
- Simple C Compiler in OCaml☆95Updated 7 years ago