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
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 9 months ago
- ☆21Updated 2 months ago
- Package manager for Idris☆35Updated 2 years ago
- Idris port of Haskell's sop-core library☆34Updated last year
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- Automation for releasing haskell packages☆18Updated last year
- Tools for working with derived Show instances in Haskell.☆57Updated 2 years ago
- classical sequent calculus, embedded in Haskell☆19Updated 3 years ago
- todo and unimplemented, robustly implemented☆33Updated 6 months ago
- Haskell implementation of DAP interface data.☆25Updated last year
- ☆40Updated 5 years ago
- Experimental effects library for Idris 2☆42Updated 2 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 9 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 2 months ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Command line interface library in Idris☆31Updated 8 months ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 3 weeks ago
- A Really Cool Calculator written in Haskell... or is it?☆41Updated 3 years ago
- Fine-grained lattice primitives for Haskell☆36Updated last month
- A GHC plugin and library for analysing GHC Core☆54Updated last month
- Reimplementation of a subset of Cabal☆26Updated 2 weeks ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆55Updated last year
- Existential type.☆37Updated 3 months ago
- Haskell monad transformer for weighted, non-deterministic computation☆30Updated 2 months ago
- Haskell time library focusing on performance☆57Updated 3 months ago
- Generic functions for single-sorted first-order structural unification☆42Updated 3 weeks ago
- 👅 Parse Haskell Language Extensions☆48Updated 3 months ago