glebec / left-recursion
Quick explanation of eliminating left recursion in Haskell parsers
☆48Updated 3 years ago
Alternatives and similar repositories for left-recursion:
Users that are interested in left-recursion are comparing it to the libraries listed below
- Example language server (LSP) implementation for a toy language☆60Updated 3 years ago
- A tool to make solving type errors in Haskell simple and fun.☆36Updated 2 years ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- A Haskell monad transformer library for data validation☆36Updated last year
- Efficient Haskell effect handlers based on evidence translation.☆82Updated 3 years ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- Convert values from one type into another.☆77Updated 2 weeks ago
- Algebraic effects in the Bluefin effect system☆15Updated 10 months ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Fast and concise extensible effects☆108Updated last year
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated last month
- A syntax tidy-upper for PureScript.☆92Updated last month
- Chapelure is a diagnostic library for Haskell☆45Updated last year
- ☆40Updated 5 years ago
- Kotlin-backend for PureScript☆81Updated 3 years ago
- A structured concurrency library☆86Updated 3 weeks ago
- Experimental effects library for Idris 2☆42Updated 2 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆121Updated 2 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 5 months ago
- A beginner's guide to Haskell optimization☆64Updated 7 years ago
- Low-overhead effect management for concrete monads☆37Updated 3 years ago
- Bidirectional Parsing. Work in Progress☆32Updated 6 months ago
- Haskell program configuration using higher kinded data☆29Updated 10 months ago
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 9 months ago
- ICFP tutorial☆39Updated 3 years ago
- Prototype implementations of systems based on setoid type theory☆65Updated 4 years ago
- Comparing Haskell effect systems for ergonomics and speed☆65Updated 4 years ago
- Type inference from scratch - Material for my talk at F(by)19☆64Updated 5 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆55Updated 3 years ago
- Scheme backend for PureScript (a small strongly, statically typed programming language with expressive types, inspired by Haskell).☆68Updated 2 months ago