Alternatives and similar repositories for haskell-report-archive:

Users that are interested in haskell-report-archive are comparing it to the libraries listed below

• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated last month
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• batterseapower / ansi-wl-pprint
  The Wadler/Leijen Pretty Printer for colored ANSI terminal output
  ☆30Updated 5 years ago
• fpco / streaming-commons
  Common lower-level functions needed by various streaming data libraries
  ☆36Updated last week
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 3 years ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• haskell / text-icu
  This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.
  ☆48Updated 4 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆41Updated 2 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• vmchale / edit-distance
  Levenshtein edit distance, packaged for ATS
  ☆12Updated 2 years ago
• Shimuuar / fixed-vector
  Fixed length vector for haskell
  ☆21Updated 3 weeks ago
• JakobBruenker / curses-idris
  Curses bindings package for Idris
  ☆13Updated 6 years ago
• haskell / zlib
  Compression and decompression in the gzip and zlib formats
  ☆35Updated 2 months ago
• mietek / idris-bash
  GNU bash backend for Idris
  ☆53Updated 5 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 6 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• edsko / ghc-dump-tree
  Dump GHC's abstract syntax trees
  ☆41Updated 2 years ago
• soupi / pureli
  A purely functional, dynamically typed, parallel evaluated Lisp-like programming language
  ☆35Updated 8 years ago
• jaspervdj / blaze-markup
  Core modules for a blazing fast markup combinator library
  ☆22Updated 6 months ago
• aherrmann / simply_llvm
  ☆41Updated 7 years ago
• LightAndLight / lambdapi
  Educational implementation of dependent types
  ☆19Updated 6 years ago
• jgm / zip-archive
  Native Haskell library for working with zip archives
  ☆45Updated 8 months ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• dreixel / syb
  Scrap Your Boilerplate generic programming library in Haskell
  ☆44Updated last month
• i-am-tom / LICK
  Idris-written, correct-by-construction, simply-typed lambda calculus.
  ☆39Updated 6 years ago
• haskell-suite / haskell-names
  Haskell suite library for name resolution
  ☆52Updated last year
• BekaValentine / SimpleFP
  A series of implementations of a simple functional programming language.
  ☆30Updated 9 years ago
• informatikr / aeson-pretty
  JSON pretty-printing library and command-line tool.
  ☆64Updated 9 months ago