stepchowfun / cfg-checker
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
- Beautiful, interactive visualizations of logical inference☆149Updated 4 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- Dependently Typed Lambda Calculus in Haskell☆115Updated 4 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Source repository for https://hackage.haskell.org/package/language-c☆87Updated last month
- A compiler for functional programs on serialized data☆158Updated this week
- ☆89Updated 3 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆49Updated 9 years ago
- A quick reference for mapping Coq tactics to Lean tactics☆70Updated 3 years ago
- Macro Lambda Calculus☆49Updated 6 years ago
- A nano "theorem prover".☆62Updated 6 years ago
- An interactive theorem prover based on lambda-tree syntax☆94Updated 2 months ago
- ☆90Updated 3 years ago
- An Open Encyclopedia of Proof Systems☆116Updated 2 years ago
- joke page until I decide what to do with this domain name☆38Updated 8 months ago
- Implementation of Univalence in Cubical Sets☆144Updated 9 years ago
- A simple programming language targeting LLVM☆64Updated 6 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆74Updated 6 months ago
- Library for automatic unit testing of Standard ML modules☆71Updated 4 years ago
- ☆52Updated 4 months ago
- History of Programming Languages, Spring 2017☆136Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆77Updated 7 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆109Updated 7 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Real number computation software☆123Updated 2 years ago
- Runtime code generation for x86 machine code☆26Updated last year
- An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)☆146Updated 3 years ago
- A simple Depdently-Typed Language for Research and Learning☆57Updated 8 years ago