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:
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Beautiful, interactive visualizations of logical inference☆147Updated 4 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- ☆89Updated 3 years ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- Implementation of Univalence in Cubical Sets☆145Updated 9 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- A compiler for functional programs on serialized data☆164Updated last month
- ☆90Updated 3 years ago
- History of Programming Languages, Spring 2017☆137Updated 7 years ago
- Generate Haskell code from a type☆136Updated 4 months ago
- Elsa is a lambda calculus evaluator☆187Updated 3 months ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 7 years ago
- Classic Algorithm W for type inference.☆253Updated 15 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆88Updated 4 months ago
- An Open Encyclopedia of Proof Systems☆119Updated 3 years ago
- A small compiler for PCF☆124Updated 4 years ago
- metamath proof enumerators and other things☆94Updated 11 months ago
- Mathematical Components (the Book)☆146Updated last year
- A web site for converting haskell code into pointfree haskell code☆164Updated 2 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆114Updated 8 years ago
- Cogent Project☆165Updated 4 months ago
- ☆137Updated 3 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆154Updated 3 weeks ago
- A basic library of algorithms and data structures (a la NJlib)☆74Updated 3 months ago
- A minimal proof language.☆207Updated 6 years ago
- The Kleenex programming language☆56Updated 9 months ago
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆148Updated 3 years ago
- Spartan type theory☆268Updated last year