koalaman / pack
Haskell implementation of gzip-compatible `pack` compression from the early 1980s
☆37Updated 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☆18Updated 5 years ago
- Poor Richard's Memory Manager☆15Updated 3 years ago
- ☆16Updated 6 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- Tentative write-up of a neat trick used in the Mezzo type-checker☆14Updated 9 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 7 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 10 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- JVM implementation in Haskell☆44Updated 4 months ago
- An llvm pretty printer inspired by the haskell llvm binding☆29Updated last month
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- generalize counter-examples of property-based testing☆13Updated 11 months ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- an example airship app☆14Updated 8 years ago
- A constant-memory approximation of set membership☆24Updated this week
- A simple db for ingesting and indexing static datasets on disk☆11Updated 2 months ago
- transformers compatibility shim☆10Updated last year
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- ☆15Updated 2 years ago
- Abstactions and concrete implementations of mutable containers☆14Updated 8 years ago
- XHTML combinator library☆9Updated 2 months ago
- WAI middleware that intercepts requests to static files and serves them if they exist.☆18Updated this week
- A parsing combinator library.☆10Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Attribute Grammars on Graphs☆10Updated 8 years ago
- BibTeX database management in Idris☆18Updated 10 years ago