minad / paripariLinks
Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
☆59Updated 5 years ago
Alternatives and similar repositories for paripari
Users that are interested in paripari are comparing it to the libraries listed below
Sorting:
- Invertible parsing for S-expressions☆34Updated 3 months ago
- An efficient graph library for Haskell☆38Updated 2 months ago
- Parser for Emacs org-mode files☆32Updated last year
- 🧠 Type-safe memory units☆61Updated 4 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskell☆60Updated 7 months ago
- GRIN backend for Idris☆50Updated 5 years ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated 4 months ago
- Recursion schemes for Idris☆65Updated 6 years ago
- ☆40Updated 5 years ago
- it's a starcraft clone but with a dope typesystem☆51Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 6 months ago
- Auto-parallelizing Pure Functional Language☆27Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Automatic piecewise-mutable references for your types☆42Updated 5 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- Bidirectional programming in Haskell with monadic profunctors☆46Updated 3 years ago
- ☆40Updated 7 years ago
- Convenient Haskell syntax for writing in LaTeX math expressions☆28Updated last year
- Comma (and other) separated values☆78Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 9 months ago
- Emacs bindings for hlint's --refactor option☆27Updated 6 years ago
- Yet another yet another recursion scheme library in Haskell.☆89Updated this week
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆26Updated 7 months ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Zippers based on lenses and traversals☆40Updated last year
- ☆23Updated last year
- System POSIX bindings for Idris.☆36Updated 6 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago