Alternatives and similar repositories for pack:

Users that are interested in pack are comparing it to the libraries listed below

• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆17Updated 5 years ago
• facebookarchive / hs-zstd
  Bindings to the Zstandard library to make it usable from the Haskell programming language.
  ☆45Updated 8 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• nomeata / bisect-binary
  Tool to determine relevant parts of binary data
  ☆44Updated 7 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated last month
• ekmett / gc
  Poor Richard's Memory Manager
  ☆15Updated 3 years ago
• mstone / soutei
  a logic-based trust-management system
  ☆19Updated 12 years ago
• typeclasses / loc
  Types representing line and column positions and ranges in text files
  ☆11Updated last year
• gatlin / psilo
  a parallel, safe, iterative list operation language for systems programming
  ☆16Updated 4 years ago
• andersk / tiny-lambda
  A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell
  ☆10Updated 9 years ago
• laserpants / hashids-haskell
  Haskell port of the Hashids library.
  ☆24Updated last year
• visq / llvm-regexp
  Demo: Creating Regular Expression Matcher's using the haskell bindings to LLVM
  ☆14Updated 14 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• spire / spire
  The Spire Programming Language
  ☆59Updated 10 years ago
• cruxlang / crux
  Crux Programming Language
  ☆52Updated 2 years ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• mattbierner / atum
  Javascript Interpreter in Functional-Style Javascript
  ☆19Updated 7 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated 6 months ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• ndmitchell / ghc-make
  An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.
  ☆40Updated 3 years ago
• patrickt / blimp
  an example airship app
  ☆14Updated 8 years ago
• msprotz / proof-search-monad
  Tentative write-up of a neat trick used in the Mezzo type-checker
  ☆14Updated 9 years ago
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 5 years ago
• int-index / kalium
  Translate Pascal into Haskell
  ☆51Updated 5 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 2 years ago
• i-am-tom / dagmore
  Less Type, more Typeable.
  ☆14Updated 6 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• jwiegley / logging
  ☆15Updated 2 years ago