slebok / zooLinks
Grammar Zoo
☆95Updated 6 years ago
Alternatives and similar repositories for zoo
Users that are interested in zoo are comparing it to the libraries listed below
Sorting:
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- A Tree Parser Generator☆101Updated last year
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- Continuation Passing C☆114Updated 6 years ago
- Yet another PEG parser combinator library and DSL☆56Updated 2 years ago
- EbnfStudio can be used to edit and analyze EBNF grammars.☆84Updated last year
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆206Updated last year
- A Scannerless GLR parser/parser generater.☆113Updated 5 months ago
- A small λ-calculus interpreter in C☆57Updated 11 years ago
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 7 years ago
- ☆57Updated 8 years ago
- ☆34Updated 5 years ago
- Quick C-- compiler (no longer maintained)☆161Updated 11 years ago
- Editor for language composition☆58Updated 2 years ago
- OCaml bytecode to C compiler☆103Updated 5 years ago
- Bottom Up Rewrite Generator☆29Updated 8 years ago
- EBNF grammar of LLVM IR assembly.☆65Updated 2 years ago
- Incremental garbage collector library in C for use by high level language implementions.☆110Updated 9 years ago
- An attribute grammar-based programming language for composable language extensions☆64Updated this week
- The fluffy programming language main repository☆25Updated 12 years ago
- C89 expressions parsed with the shunting yard algorithm in Python☆81Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 5 months ago
- Attribute grammar Based Language Extensions for C☆41Updated 3 weeks ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- SPARK 2014 repository for the Why3 verification platform.☆32Updated 3 weeks ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆69Updated last month
- setlX is an interpreter for the high level programming-language SetlX (set language extended).☆27Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆44Updated 7 years ago
- The Whiley Compiler (WyC)☆224Updated 2 years ago