stepchowfun / cfg-checkerLinks
Search for ambiguities in context-free grammars.
☆40Updated 4 years ago
Alternatives and similar repositories for cfg-checker
Users that are interested in cfg-checker are comparing it to the libraries listed below
Sorting:
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- ☆89Updated 3 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A compiler for functional programs on serialized data☆166Updated last month
- Link to preprints for POPL'18 and colocated events☆87Updated 7 years ago
- Generate Haskell code from a type☆136Updated 5 months ago
- A [ functional stack ] based language.☆29Updated last year
- A small compiler for PCF☆125Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆44Updated 7 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- The Kleenex programming language☆56Updated 9 months ago
- A lambda calculus interpeter☆65Updated 7 months ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Example implementation of Algorithm W for Hindley-Milner type inference☆81Updated 3 years ago
- ☆90Updated 3 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- ☆56Updated 3 months ago
- A prototype programming language for programming with runners☆91Updated 3 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆115Updated 8 years ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated last year
- A simple programming language targeting LLVM☆65Updated 6 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆148Updated 3 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated last month