contificate / lrLinks
An interactive tool for experimenting with LR(1) grammars
☆18Updated 3 years ago
Alternatives and similar repositories for lr
Users that are interested in lr are comparing it to the libraries listed below
Sorting:
- an encoding of affine effect handlers using pthreads☆14Updated 2 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 2 years ago
- Match compilation algorithm in OCaml☆27Updated 4 months ago
- The LLVM tutorial using OCaml☆61Updated 5 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 4 years ago
- Benchmark repository of polyglot effect handler examples☆25Updated 3 months ago
- a self-hosting lambda calculus compiler☆36Updated 3 months ago
- Kleene algebra modulo theories☆27Updated 2 years ago
- A SKI combinators interpreter written in assembly☆20Updated 4 years ago
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 2 years ago
- The Caml Light implementation of the Caml language☆67Updated 2 years ago
- Experimental functional language☆17Updated 3 years ago
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- Cerberus C semantics☆63Updated last week
- A dependent type theory with user defined data types☆46Updated 3 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 2 months ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- Playing with type systems☆51Updated 6 months ago
- Martin-Löf type theory + W-types implemented in C (WIP)☆18Updated 2 months ago
- A constraint solver built from scratch in OCaml☆11Updated 3 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Tiny verified SAT-solver☆28Updated 3 years ago
- Type systems written in 1ML☆9Updated 5 years ago
- Coq plugin for monomorphization and C code generation☆34Updated last month
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15Updated last year
- LALR(k) Parser Generator for Haskell, by Ralf Hinze☆9Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.☆57Updated 6 years ago