stepchowfun / cfg-checker
Search for ambiguities in context-free grammars.
☆39Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for cfg-checker
- ☆89Updated 3 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- ☆87Updated 2 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A compiler for functional programs on serialized data☆158Updated this week
- Miller/pattern unification in Agda☆62Updated 10 years ago
- A simple programming language targeting LLVM☆64Updated 6 years ago
- ☆51Updated 3 months ago
- Coq proofs for the paper "Calculating Correct Compilers"☆30Updated 11 months ago
- A LaTeX package for formatting meta-theory.☆46Updated 4 years ago
- joke page until I decide what to do with this domain name☆34Updated 4 months ago
- TiML: A Functional Programming Language with Time Complexity☆75Updated 7 years ago
- An interactive theorem prover based on lambda-tree syntax☆90Updated this week
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- Educational Proof Assistant for Type Theory☆72Updated 3 months ago
- The Makam Metalanguage☆194Updated last year
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆38Updated 6 years ago
- A nano "theorem prover".☆61Updated 5 years ago
- metamath proof enumerators and other things☆87Updated 3 months ago
- Higher-order optimization library☆73Updated last year
- Implementation of Univalence in Cubical Sets☆145Updated 9 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- A terse declarative logic programming language☆117Updated 4 years ago
- History of Programming Languages, Spring 2017☆129Updated 6 years ago
- A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]☆43Updated 4 months ago
- An interpreter for a J-inspired language☆89Updated last year
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Prototype type inference engine☆197Updated 3 months ago