bgamari / attoparsec
A fast Haskell library for parsing ByteStrings
☆10Updated 2 years ago
Related projects: ⓘ
- Libraries for the Effectful Haskell effects system☆21Updated 2 years ago
- An effect system based on type classes, written in Haskell.☆44Updated 2 years ago
- todo and unimplemented, robustly implemented☆32Updated last week
- Generic functions for single-sorted first-order structural unification☆41Updated 2 weeks ago
- ☆39Updated 4 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆55Updated 3 months ago
- ⛏️ A refinement proof framework for haskell☆69Updated last year
- classical sequent calculus, embedded in Haskell☆19Updated 2 years ago
- Command line interface library in Idris☆30Updated last month
- Ormolu GitHub action☆31Updated 3 months ago
- Go get tested! Github Actions matrix generator for your haskell projects☆44Updated this week
- A Really Cool Calculator written in Haskell... or is it?☆40Updated 3 years ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆73Updated 2 months ago
- Automatically derivable JSON marshallers in the spirit of Haskell's aeson☆16Updated 3 months ago
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Updated 4 years ago
- GHC plugin to desugar ! into do-notation☆37Updated 3 months ago
- Fine-grained lattice primitives for Haskell☆35Updated last month
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- OCaml backend for Idris2☆19Updated 3 years ago
- Generates a references DB from .hie files☆64Updated 2 months ago
- Category theory formalized in cubical agda☆20Updated 4 years ago
- An implementation of a Relaxed Radix Balanced Vector in Haskell.☆20Updated 3 weeks ago
- Idris port of Haskell's sop-core library☆33Updated last year
- Existential type.☆36Updated 4 months ago
- SPJ's tutorial on implementing functional languages☆28Updated 5 years ago
- Session Types with Priority in Linear Haskell☆25Updated 3 months ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Deep evaluation of data structures☆40Updated last week
- Package manager for Idris☆35Updated 2 years ago
- Ghosts of Departed Proofs☆60Updated 3 years ago