minad / paripari
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
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.β48Updated 5 months ago
- Automatic piecewise-mutable references for your typesβ42Updated 4 years ago
- ππ Combinators for writing pretty type errors easilyβ55Updated 3 years ago
- An efficient graph library for Haskellβ39Updated 7 months ago
- π§ Type-safe memory unitsβ61Updated 4 years ago
- Comma (and other) separated valuesβ77Updated last year
- Compile Dhall expressions to Cabal filesβ101Updated 2 years ago
- β40Updated 6 years ago
- β40Updated 5 years ago
- Formally prove properties of Haskell programs using SBV/SMT.β45Updated 9 months ago
- βΎοΈ Sized listβ46Updated 10 months ago
- 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
- A minimal emacs configuration for haskell programmingβ31Updated 2 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.β49Updated last month
- Toggle Haskell language extensions from Emacsβ22Updated 5 years ago
- Interpreter for GHC Haskellβ22Updated 5 years ago
- A Haskell monad transformer library for data validationβ36Updated last year
- Diffing of (expression) trees.β77Updated 2 months ago
- Recursion schemes for Idrisβ64Updated 6 years ago
- Invertible parsing for S-expressionsβ34Updated 5 months ago
- Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoizationβ59Updated last month
- An effect system based on type classes, written in Haskell.β44Updated 3 years ago
- JHC Haskell compiler split into reusable componentsβ57Updated 6 years ago
- Type Safe LLVM IR ( Experimental )β49Updated 6 years ago
- A work stealing schedulerβ75Updated last month
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.β25Updated 2 months ago
- Efficient implementation of the implicit treap data structureβ63Updated 3 years ago
- System POSIX bindings for Idris.β36Updated 6 years ago
- it's a starcraft clone but with a dope typesystemβ49Updated 4 years ago
- Auto-parallelizing Pure Functional Languageβ27Updated 5 years ago