jhjourdan / C11parser
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
☆192Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for C11parser
- Continuation Passing C☆112Updated 5 years ago
- ☆87Updated 2 years ago
- Release snapshots of the Frama-C platform for source code analysis☆167Updated 4 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- C Intermediate Language☆362Updated last year
- Nanopass for OCaml☆141Updated 6 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆111Updated 11 months ago
- Semantics of C in K☆306Updated 2 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆188Updated 4 years ago
- Parallel ML compiler☆71Updated 4 years ago
- Prototype type inference engine☆197Updated 3 months ago
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- A static verifier for concurrent C programs☆128Updated 3 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- Quick C-- compiler (no longer maintained)☆151Updated 10 years ago
- OCaml bytecode to C compiler☆98Updated 4 years ago
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- OCamlPro public development repository for Alt-Ergo☆132Updated last week
- The Higher-Order Intermediate Representation☆151Updated this week
- Yet Another Earley Parser☆137Updated 2 years ago
- Unison's source code☆104Updated 8 months ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆396Updated this week
- A small implementation of type inference☆78Updated 9 years ago
- Scheme on SECD☆42Updated 3 years ago
- GCC Tiny front-end☆102Updated 7 years ago
- A work-in-progress language and compiler for verified low-level programming☆296Updated last week
- 1ML prototype interpreter☆271Updated 4 years ago
- C99 parser and frontend for libfirm☆341Updated last year
- ☆63Updated 8 years ago
- graph based intermediate representation and backend for optimising compilers☆473Updated 4 months ago