slebok / zoo
Grammar Zoo
☆89Updated 6 years ago
Alternatives and similar repositories for zoo:
Users that are interested in zoo are comparing it to the libraries listed below
- A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml☆200Updated 10 months ago
- EbnfStudio can be used to edit and analyze EBNF grammars.☆80Updated 11 months ago
- A Tree Parser Generator☆96Updated 7 months ago
- Continuation Passing C☆112Updated 5 years ago
- A small λ-calculus interpreter in C☆56Updated 10 years ago
- EBNF grammar of LLVM IR assembly.☆65Updated 2 years ago
- A Scannerless GLR parser/parser generater.☆111Updated last week
- Bytecode Interpreter for Yet Another Scripting Language (YASL).☆71Updated 2 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 7 months ago
- A PEG parsing machine with support for incremental parsing.☆89Updated 3 months ago
- ☆89Updated 3 years ago
- Quick C-- compiler (no longer maintained)☆158Updated 11 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Public snapshots of "ACSL by Example"☆109Updated 3 years ago
- Self-hosting compiler for the Grace programming language☆40Updated 11 months ago
- A programming language where the syntax and semantics are mutable at runtime☆165Updated 12 years ago
- Yet Another Earley Parser☆140Updated 3 years ago
- A C++11 implementation of Hindley-Milner type inference.☆79Updated 12 years ago
- A cross platform JIT engine based on Eclipse OMR☆27Updated 5 years ago
- Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on…☆25Updated 6 years ago
- Incremental garbage collector library in C for use by high level language implementions.☆110Updated 8 years ago
- Yet another PEG parser combinator library and DSL☆56Updated last year
- OCaml bytecode to C compiler☆100Updated 4 years ago
- the Meta-II VM in C☆19Updated 9 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- Robust multi-prompt delimited control and effect handlers in C/C++☆117Updated last year
- Fast interpreter with macros, local type inference, LLVM backend.☆163Updated 6 years ago
- Clone of http://nsz.repo.hu/git/?p=c-standard☆23Updated 6 years ago
- Coq library for verified low-level programming☆59Updated 7 years ago
- A simple C-like language compiler with an extensible syntax and typed macros support☆132Updated 4 years ago