tanakh / PeggyView external linksLinks
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
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- A bad XML parser☆22Sep 2, 2024Updated last year
- Automatic generation of haskell functions for querying servant webservices ... in GHCJS!☆13May 15, 2018Updated 7 years ago
- Linear time composable parser for PEG grammars☆11Dec 2, 2023Updated 2 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- Auth0 API in Haskell☆26Oct 18, 2018Updated 7 years ago
- experimenting with STM-backed read-copy-update in Haskell☆18Oct 19, 2025Updated 3 months ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- A simple combinator library☆30Nov 5, 2018Updated 7 years ago
- traversal functionality for the Shift AST format☆21Feb 16, 2019Updated 6 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- The prelude.☆16Apr 3, 2019Updated 6 years ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated last month
- Haskell98 indexed functors, monads, comonads☆25Mar 8, 2022Updated 3 years ago
- A fork of jhc. And also a Haskell compiler.☆136Jun 8, 2019Updated 6 years ago
- Haskell port of the Hashids library.☆24Dec 30, 2023Updated 2 years ago
- error notification to rollbar.com☆28Dec 17, 2025Updated last month
- An interactive GHC profiling visualizer☆33Oct 3, 2017Updated 8 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- A command-line tool for live monitoring☆25Feb 5, 2026Updated last week
- Persistent adapter for Haskell Relational Record☆20Mar 30, 2023Updated 2 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- Extensible records, variants, structs, effects, tangles☆131Jun 26, 2025Updated 7 months ago
- Transactional monadic actions on top of PostgreSQL.☆58Jun 2, 2022Updated 3 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 7 years ago
- ☆10Feb 3, 2016Updated 10 years ago
- OOP ncurses library for PHP☆10Jan 16, 2016Updated 10 years ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf☆13Oct 11, 2018Updated 7 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 5 months ago
- GHC + Cabal docker image☆12Feb 1, 2022Updated 4 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago