bgamari / attoparsec
A fast Haskell library for parsing ByteStrings
☆10Updated 3 years ago
Alternatives and similar repositories for attoparsec:
Users that are interested in attoparsec are comparing it to the libraries listed below
- An effect system based on type classes, written in Haskell.☆44Updated 3 years ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- ☆21Updated last week
- todo and unimplemented, robustly implemented☆33Updated 7 months ago
- Haskell implementation of DAP interface data.☆25Updated 2 years ago
- Session Types with Priority in Linear Haskell☆26Updated 10 months ago
- Fine-grained lattice primitives for Haskell☆37Updated 2 months ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Package manager for Idris☆35Updated 2 years ago
- ☆40Updated 5 years ago
- A GHC plugin and library for analysing GHC Core☆54Updated 2 months ago
- Generic functions for single-sorted first-order structural unification☆43Updated 3 weeks ago
- Command line interface library in Idris☆31Updated 9 months ago
- higher-kinded data☆30Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Golden tests with Hspec☆27Updated 6 months ago
- ☆47Updated 5 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 3 weeks ago
- classical sequent calculus, embedded in Haskell☆20Updated 3 years ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated 11 months ago
- Idris port of Haskell's sop-core library☆34Updated last year
- ☆18Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- Deep evaluation of data structures☆41Updated 7 months ago
- Tactic Metaprogramming in Haskell☆56Updated 5 years ago
- Reimplementation of a subset of Cabal☆26Updated last month
- Golden tests for command-line interfaces.☆19Updated 2 years ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 3 months ago