minad / paripari
Fast parser combinator library for Haskell with two strategies (Fast acceptor and slower reporter with decent error messages)
β57Updated 4 years ago
Related projects: β
- π§ Type-safe memory unitsβ61Updated 3 years ago
- Parser for Emacs org-mode filesβ31Updated 7 months ago
- Compile Dhall expressions to Cabal filesβ100Updated last year
- Diffing of (expression) trees.β76Updated last month
- An efficient graph library for Haskellβ39Updated last month
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions β¦β3Updated 2 years ago
- ππ Combinators for writing pretty type errors easilyβ55Updated 2 years ago
- Yet another yet another recursion scheme library in Haskell.β86Updated 3 weeks ago
- Interpreter for GHC Haskellβ22Updated 4 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.β47Updated 3 weeks ago
- An effect system based on type classes, written in Haskell.β44Updated 2 years ago
- Type Safe LLVM IR ( Experimental )β49Updated 6 years ago
- Invertible parsing for S-expressionsβ33Updated this week
- β41Updated 6 years ago
- Dependently-typed finite maps (partial dependent products)β63Updated 3 months ago
- Automatic piecewise-mutable references for your typesβ42Updated 4 years ago
- JHC Haskell compiler split into reusable componentsβ58Updated 5 years ago
- Efficient implementation of the implicit treap data structureβ63Updated 3 years ago
- πΌοΈ the compiling to closed categories compilerβ66Updated 6 years ago
- Wrappers around emacs-module.h to write Emacs modules in Haskellβ55Updated 4 months ago
- βΎοΈ Sized listβ46Updated 4 months ago
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.β22Updated last year
- Zippers based on lenses and traversalsβ38Updated last year
- Formally prove properties of Haskell programs using SBV/SMT.β44Updated 3 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.β47Updated 4 months ago
- A work stealing schedulerβ76Updated 10 months ago
- System POSIX bindings for Idris.β35Updated 5 years ago
- Extensible records for Idrisβ26Updated 3 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)β25Updated 6 years ago