BNFC / bnfc
BNF Converter
☆586Updated this week
Related projects ⓘ
Alternatives and complementary repositories for bnfc
- The MLton repository☆960Updated 3 weeks ago
- Classic Algorithm W for type inference.☆249Updated 14 years ago
- A demo implementation of a simple dependently-typed language☆563Updated last week
- CakeML: A Verified Implementation of ML☆965Updated this week
- Haskell bindings for LLVM☆511Updated 4 months ago
- The Arend Proof Assistant☆695Updated this week
- Poly/ML☆489Updated 4 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated this week
- Liquid Types For Haskell☆1,196Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆244Updated last week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆504Updated 3 months ago
- A work-in-progress language and compiler for verified low-level programming☆298Updated last week
- Formal Reasoning About Programs☆667Updated 5 months ago
- A monadic parser combinator library☆847Updated 6 months ago
- Shake build system☆773Updated 6 months ago
- Haskell LLVM JIT Compiler Tutorial☆1,030Updated 4 years ago
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,030Updated last year
- Minimal implementations for dependent type checking and elaboration☆619Updated 2 months ago
- Industrial-strength monadic parser combinator library☆919Updated this week
- Standard ML Compiler and Toolkit☆277Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆349Updated 2 months ago
- Parser combinators for Idris☆239Updated 5 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆365Updated last year
- Experimental implementation of Cubical Type Theory☆572Updated last year
- The Vellvm (Verified LLVM) coq development.☆401Updated this week
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆369Updated last year
- A lexical analyser generator for Haskell☆298Updated 4 months ago
- Spartan type theory☆257Updated 6 months ago
- Functional programming with fewer indirections☆759Updated 4 years ago
- Verified Software Toolchain☆442Updated this week