The Parser Generator for Haskell
☆94Jun 4, 2015Updated 10 years ago
Alternatives and similar repositories for Peggy
Users that are interested in Peggy are comparing it to the libraries listed below
Sorting:
- PLT Redex model of basic Dependently Typed Racket calculus☆18Mar 31, 2015Updated 10 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Linear time composable parser for PEG grammars☆11Dec 2, 2023Updated 2 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 4 months ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- This might one day be a thesis project☆11Dec 21, 2022Updated 3 years ago
- Extensible records, variants, structs, effects, tangles☆131Jun 26, 2025Updated 8 months ago
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 2 years ago
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 years ago
- A bad XML parser☆22Sep 2, 2024Updated last year
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- SoftwareFoundations(Ja)☆70Oct 5, 2019Updated 6 years ago
- traversal functionality for the Shift AST format☆21Feb 16, 2019Updated 7 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- A Haskell library supporting flexible, dynamic file-based configuration.☆16May 15, 2019Updated 6 years ago
- Auth0 API in Haskell☆27Oct 18, 2018Updated 7 years ago
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- ☆11Nov 5, 2015Updated 10 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- GHC + Cabal docker image☆12Feb 1, 2022Updated 4 years ago
- Framework for defining and using monads in Chez Scheme☆11Aug 16, 2012Updated 13 years ago
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- A maintenance command of Haskell cabal packages☆36Aug 6, 2025Updated 7 months ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A Formal Verification of Algorithm W☆17Mar 10, 2021Updated 5 years ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated 2 months ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14May 5, 2015Updated 10 years ago
- ☆19Jan 29, 2019Updated 7 years ago
- Yesod Web Framework documentation site☆32Sep 11, 2011Updated 14 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆27Dec 23, 2023Updated 2 years ago
- ☆16Mar 22, 2025Updated 11 months ago
- Haskell Dependency Injection☆14Sep 1, 2018Updated 7 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Daemons in Haskell made fun and easy☆27Sep 29, 2023Updated 2 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- LILT: noun, A characteristic rising and falling of the voice when speaking; a pleasant gentle accent.☆20Dec 2, 2018Updated 7 years ago
- Uniform interface to reified data type information via Template Haskell☆20Jan 10, 2026Updated 2 months ago