Quick explanation of eliminating left recursion in Haskell parsers
☆57Sep 13, 2021Updated 4 years ago
Alternatives and similar repositories for left-recursion
Users that are interested in left-recursion are comparing it to the libraries listed below
Sorting:
- Notes of various papers regaridng free monads and extensible effects☆20Oct 10, 2019Updated 6 years ago
- Extensible sums and products for Haskell☆19Feb 22, 2026Updated last week
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- ☆21Nov 3, 2024Updated last year
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- dependent type theory experiment☆26Mar 1, 2024Updated 2 years ago
- Run a WAI application as the backend Lambda of an AWS API Gateway REST API☆25Updated this week
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆66Oct 31, 2021Updated 4 years ago
- Hypertypes - generic programming for heterogeneous recursive types☆124Jan 12, 2025Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- ☆10Feb 12, 2026Updated 2 weeks ago
- Type-safe WebAssembly eDSL in Haskell☆28Oct 20, 2024Updated last year
- Haskell bindings to OpenAI☆36Updated this week
- A talk☆29Apr 14, 2021Updated 4 years ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- An implementation of first-class pattern matches in Haskell.☆13Updated this week
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 4 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- LLM-powered typed-holes☆55May 2, 2025Updated 9 months ago
- Overloaded plugin☆31Jun 15, 2024Updated last year
- UNIX is my IDE and Neovim my Emacs☆13Jun 12, 2025Updated 8 months ago
- Mechanized proofs and example programs for the paper Type Inference Logics, published at OOPSLA24.☆11Aug 28, 2024Updated last year
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Find, replace, and split Strings with PureScript Text.Parsing☆13May 7, 2022Updated 3 years ago
- Haskell Profunctor Optics experiments☆15Sep 23, 2021Updated 4 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 3 months ago
- ☆13Dec 15, 2025Updated 2 months ago
- ☆14Nov 4, 2025Updated 3 months ago
- Generate ER-diagram using SQL file☆17Dec 31, 2024Updated last year
- Efficient and correct pagination!☆16Mar 31, 2024Updated last year
- Generate your PureScript types and API client from a Haskell Servant backend.☆30Feb 26, 2023Updated 3 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 3 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- Type Level Regular Expressions☆12Sep 26, 2023Updated 2 years ago
- Retry combinators for monadic Aff actions that may fail☆14Aug 15, 2024Updated last year