koalaman / pack
Haskell implementation of gzip-compatible `pack` compression from the early 1980s
☆37Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for pack
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- A constant-memory approximation of set membership☆24Updated 4 months ago
- Poor Richard's Memory Manager☆15Updated 3 years ago
- Tool to determine relevant parts of binary data☆44Updated 6 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- generalize counter-examples of property-based testing☆13Updated 9 months ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆45Updated 7 years ago
- JVM implementation in Haskell☆44Updated 2 months ago
- ☆16Updated 6 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Updated 4 years ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Haskell port of the Hashids library.☆24Updated 10 months ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- a logic-based trust-management system☆19Updated 12 years ago
- ☆23Updated 6 years ago
- The Spire Programming Language☆59Updated 10 years ago
- Hood debugger, based on the idea of observing functions and structures as they are evaluated.☆18Updated 6 years ago
- Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM☆14Updated 14 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Updated 9 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- a simple functional language for learners☆30Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- Haskell types and parsers for software version numbers.☆20Updated 5 months ago
- WAI middleware that intercepts requests to static files and serves them if they exist.☆18Updated 7 months ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆15Updated last month
- Dependent hash maps☆14Updated 5 months ago
- Term Rewriting Systems☆17Updated 9 years ago