minad / paripariLinks
Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
☆59Updated 4 years ago
Alternatives and similar repositories for paripari
Users that are interested in paripari are comparing it to the libraries listed below
Sorting:
- 🧠 Type-safe memory units☆61Updated 4 years ago
- An efficient graph library for Haskell☆39Updated this week
- Invertible parsing for S-expressions☆34Updated last month
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆48Updated 2 months ago
- Parser for Emacs org-mode files☆31Updated last year
- Refactorio is a tool with which you build and maintain software.☆19Updated 11 months ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- ☆40Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 5 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Hedgehog will eat your typeclass bugs☆56Updated 2 months ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 4 months ago
- Recursion schemes for Idris☆64Updated 6 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A Haskell library to pretty print data in a tabular format☆11Updated 7 years ago
- Comma (and other) separated values☆78Updated last year
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Zippers based on lenses and traversals☆40Updated last year
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- Deep evaluation of data structures☆41Updated 8 months ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A work stealing scheduler☆74Updated 4 months ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Toggle Haskell language extensions from Emacs☆22Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago