jhjourdan / C11parser
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
☆192Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for C11parser
- Continuation Passing C☆112Updated 5 years ago
- A compiler from ML to C++ template language☆158Updated 9 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆187Updated 4 years ago
- ☆87Updated 2 years ago
- Release snapshots of the Frama-C platform for source code analysis☆167Updated 4 years ago
- Parallel ML compiler☆71Updated 4 years ago
- A static verifier for concurrent C programs☆128Updated 3 years ago
- Public snapshots of "ACSL by Example"☆101Updated 3 years ago
- KaRaMeL is a tool for extracting low-level F* programs to readable C code☆396Updated last week
- Nanopass for OCaml☆141Updated 6 years ago
- The Caml Light implementation of the Caml language☆61Updated last year
- Semantics of C in K☆306Updated 2 years ago
- Prototype type inference engine☆196Updated 3 months ago
- C Intermediate Language☆360Updated last year
- Robust multi-prompt delimited control and effect handlers in C/C++☆110Updated 11 months ago
- The Higher-Order Intermediate Representation☆151Updated this week
- Quick C-- compiler (no longer maintained)☆150Updated 10 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆100Updated last month
- Smackage Package Manager for Standard ML☆122Updated 2 years ago
- Compiler and tools for the L programming language☆72Updated 6 months ago
- OCaml bytecode to C compiler☆97Updated 4 years ago
- 1ML prototype interpreter☆270Updated 4 years ago
- SML reference interpreter☆112Updated last year
- A work-in-progress language and compiler for verified low-level programming☆297Updated last month
- Experiment on how to bootstrap the OCaml compiler☆98Updated 2 years ago
- Lem semantic definition language☆130Updated 8 months ago
- Standard ML Compiler and Toolkit☆277Updated this week
- Metaprogramming framework for .net☆87Updated 4 years ago
- A small implementation of type inference☆78Updated 9 years ago