Alternatives and similar repositories for ansi-wl-pprint:

Users that are interested in ansi-wl-pprint are comparing it to the libraries listed below

• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• jfdm / idris-xml
  A simple XML module for Idris.
  ☆13Updated 4 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 3 months ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• ggreif / dynamic-loader
  Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.
  ☆24Updated 7 years ago
• jfischoff / are-mutable-references-in-haskell-fast
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Updated 7 years ago
• frerich / catamorphism
  A package exposing a function for generating catamorphisms.
  ☆28Updated 6 years ago
• eelco / gdiff
  ☆33Updated 10 years ago
• andrewthad / serpentine
  Haskell routes using dependent types
  ☆10Updated 8 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 7 months ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆25Updated 10 years ago
• jwiegley / linearscan
  ☆17Updated 2 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 10 years ago
• byorgey / type-matrices
  Paper about polynomial functors, regular expressions, matrices of types, derivatives, semirings, and other cool stuff
  ☆13Updated 7 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 3 weeks ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 6 years ago
• samplecount / shake-language-c
  Cross-compilation framework based on the Shake Haskell library.
  ☆28Updated 4 years ago
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆47Updated 2 months ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 3 years ago
• haskell-github-trust / ekg-statsd
  Flush system metrics to statsd
  ☆26Updated 5 months ago
• OlafChitil / hat
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Updated last year
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 12 years ago