contificate / lrLinks
An interactive tool for experimenting with LR(1) grammars
☆20Updated 3 years ago
Alternatives and similar repositories for lr
Users that are interested in lr are comparing it to the libraries listed below
Sorting:
- Automatically exported from code.google.com/p/intuitionistic☆31Updated 10 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- an encoding of affine effect handlers using pthreads☆14Updated 3 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆51Updated 5 months ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Updated 5 years ago
- An implementation of Colin James' "Compiling Lambda Calculus"☆16Updated 3 years ago
- The Caml Light implementation of the Caml language☆68Updated 2 years ago
- OCaml library for manipulating context-free grammars☆20Updated last month
- Prototype code that accompanies the paper "Compiling Successor ML Pattern Guards"☆25Updated 3 years ago
- FunTAL: mixing a functional language with assembly.☆41Updated 8 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆11Updated last month
- A random generator of Lua programs☆12Updated 4 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- Cerberus C semantics☆79Updated this week
- a self-hosting lambda calculus compiler☆37Updated 9 months ago
- A SKI combinators interpreter written in assembly☆20Updated 5 years ago
- Playing with type systems☆51Updated last year
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Like the Programming Languages Zoo but with esoteric languages.☆25Updated 5 years ago
- Match compilation algorithm in OCaml☆34Updated 10 months ago
- Tiny verified SAT-solver☆30Updated 4 years ago
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12Updated last year
- Coq plugin for monomorphization and C code generation☆36Updated 2 weeks ago
- A deterministic parser with fused lexing☆75Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆32Updated 4 months ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Updated 7 years ago
- A dependent type theory with user defined data types☆47Updated 4 years ago
- Kleene algebra modulo theories☆27Updated 3 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Updated 2 years ago