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☆149Updated 4 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 6 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A simple programming language targeting LLVM☆65Updated 6 years ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆90Updated 5 months ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- ☆90Updated 3 years ago
- ☆89Updated 3 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- PeaCoq is a pretty Coq, isn't it?☆105Updated 4 years ago
- Generate Haskell code from a type☆139Updated 6 months ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆149Updated 3 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated 11 months ago
- A [ functional stack ] based language.☆30Updated last year
- Link to preprints for POPL'18 and colocated events☆86Updated 7 years ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago
- A small compiler for PCF☆126Updated 4 years ago
- Classic Algorithm W for type inference.☆253Updated 15 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Library for automatic unit testing of Standard ML modules☆71Updated 5 years ago
- Higher-order optimization library☆76Updated 2 years ago
- metamath proof enumerators and other things☆94Updated last year
- ET (IPL) language interpreters and literature☆26Updated 6 years ago
- Small program to convert ASCII box art to Unicode box drawings.☆60Updated 8 years ago
- ☆138Updated 4 years ago
- A compiler for functional programs on serialized data☆167Updated 2 months ago