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
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 3 years ago
- Benchmark a given function for variable input sizes and find out its time complexity☆25Updated 6 months ago
- Libraries for the Effectful Haskell effects system☆22Updated 2 years ago
- Lua backend for Idris 2☆27Updated 2 years ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 7 months ago
- Package manager for Idris☆35Updated 2 years ago
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Updated 6 years ago
- A Haskell monad transformer library for data validation☆36Updated last year
- GHC plugin to desugar ! into do-notation☆37Updated last month
- Tools for working with derived Show instances in Haskell.☆57Updated last year
- ☆39Updated 4 years ago
- Command line interface library in Idris☆31Updated 6 months ago
- todo and unimplemented, robustly implemented☆33Updated 4 months ago
- ☆18Updated 3 years ago
- Ghosts of Departed Proofs☆60Updated 4 years ago
- Golden tests for command-line interfaces.☆18Updated 2 years ago
- UI experiments for coda☆66Updated 3 years ago
- A modern Haskell debugger☆30Updated last year
- GHC prof manipulation script☆32Updated 11 months ago
- Hackager tool for releasing Haskell packages to Hackage☆30Updated 7 months ago
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆72Updated 3 weeks ago
- Generic data types in Haskell, utilities for GHC.Generics☆45Updated last month
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Updated 4 years ago
- Golden tests with Hspec☆27Updated 3 months ago
- Session Types with Priority in Linear Haskell☆25Updated 7 months ago
- RFC 4648-compliant Base64☆33Updated 5 months ago
- Type-safe printf from parsing GHC TypeLits Symbol☆24Updated 4 months ago
- A template for idris projects☆11Updated 3 years ago