koalaman / pack
Haskell implementation of gzip-compatible `pack` compression from the early 1980s
☆39Updated 7 years ago
Alternatives and similar repositories for pack:
Users that are interested in pack are comparing it to the libraries listed below
- Robust prettyprinter for output of auto-generated Show instances☆17Updated 5 years ago
- generalize counter-examples of property-based testing☆13Updated 2 months ago
- ☆16Updated 6 years ago
- Poor Richard's Memory Manager☆15Updated 4 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 8 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Recursion schemes in ATS☆9Updated 3 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- QuickCheck extras.☆29Updated 5 years ago
- The Spire Programming Language☆59Updated 10 years ago
- A fast, low-level HTTP server you can trust☆47Updated 6 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆14Updated 9 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- JVM implementation in Haskell☆44Updated 7 months ago
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 2 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- A constant-memory approximation of set membership☆24Updated 2 months ago
- ☆41Updated 7 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 5 months ago
- XHTML combinator library☆9Updated 5 months ago
- Share your research online by compiling it to JavaScript!☆23Updated 10 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Updated 6 years ago
- an example airship app☆14Updated 8 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Crux Programming Language☆52Updated 2 years ago