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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- ☆23May 25, 2025Updated 10 months ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- a new, WIP Haskell compiler☆14Apr 21, 2020Updated 5 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- QuickCheck extras.☆29Jun 23, 2019Updated 6 years ago
- [WIP] Optics via the profunctor representation theorem☆20Dec 18, 2019Updated 6 years ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 4 years ago
- ☆19Aug 4, 2025Updated 7 months ago
- Profunctor optics for the endofunctor category on Hask☆27Sep 23, 2020Updated 5 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- An attoparsec roundtrip☆19Apr 23, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Combine and enhance Functors☆39Aug 12, 2025Updated 7 months ago
- an applicative functor that seamlessly talks to HTML inputs☆72Jul 8, 2019Updated 6 years ago
- Type-safe Atomic CSS with intuitive layouts and composable css utility classes. Inspired by Tailwindcss and Elm-UI☆55Sep 15, 2025Updated 6 months ago
- a functional programming language with algebraic effects and handlers☆82Feb 17, 2025Updated last year
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 6 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 last year
- Bidirectional programming in Haskell with monadic profunctors☆49May 17, 2022Updated 3 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- the dynabook but for haskell☆23Sep 23, 2019Updated 6 years ago
- A tiny implementation of dependent types.☆11Oct 24, 2017Updated 8 years ago
- Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.☆35Feb 26, 2024Updated 2 years ago
- A language experiment -- irc.freenode.net ##coda☆162Apr 10, 2024Updated last year
- being the materials for a paper I have in mind to write about the bidirectional discipline☆54Jul 24, 2025Updated 8 months ago
- Ever been so pissed you rewrote a 4500 line Java project into 300 lines of Haskell?☆14Oct 4, 2020Updated 5 years ago
- Helpers which allow safe partial pattern matching in lambdas☆31Oct 21, 2020Updated 5 years ago
- Classes for types where we know all the values☆39Jan 3, 2025Updated last year
- Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules☆31Feb 5, 2023Updated 3 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck☆36Jul 11, 2021Updated 4 years ago
- A lightweight (but compatible with ‘lens’) lenses library☆297Sep 29, 2025Updated 5 months ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 3 weeks ago
- Utility functions for testing Megaparsec parsers with Hspec☆17Feb 2, 2026Updated last month
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- Yoneda lemma in every known language☆17Mar 10, 2023Updated 3 years ago