Bidirectional Parsing. Work in Progress
☆33Sep 23, 2024Updated last year
Alternatives and similar repositories for biparsing
Users that are interested in biparsing are comparing it to the libraries listed below
Sorting:
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 5 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- ☆23May 25, 2025Updated 9 months ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- Combine and enhance Functors☆39Aug 12, 2025Updated 6 months ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 5 years ago
- Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.☆35Feb 26, 2024Updated 2 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- Experimental type-checker for internally parametric type theory☆32Mar 27, 2025Updated 11 months ago
- being the materials for a paper I have in mind to write about the bidirectional discipline☆54Jul 24, 2025Updated 7 months ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- Existential type.☆37Feb 11, 2026Updated 3 weeks ago
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- a functional programming language with algebraic effects and handlers☆81Feb 17, 2025Updated last year
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Jul 11, 2021Updated 4 years ago
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Applicative maps☆16Sep 29, 2024Updated last year
- ScopeT and ScopeH☆13Aug 3, 2024Updated last year
- (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
- It's Data.Graph, but it doesn't suck!☆16Jun 3, 2021Updated 4 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- an applicative functor that seamlessly talks to HTML inputs☆72Jul 8, 2019Updated 6 years ago
- A language experiment -- irc.freenode.net ##coda☆162Apr 10, 2024Updated last year
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Artefact from the POPL'16 paper "Effects as Sessions, Sessions as Effects"☆15Jan 11, 2018Updated 8 years ago
- ☆19Aug 4, 2025Updated 7 months ago
- APIs for more recursive definitions☆19Oct 26, 2024Updated last year
- the ever-shifting depths of the Underworld are not as once they were...☆17Feb 16, 2026Updated 2 weeks ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago