Alternatives and similar repositories for prettier-printer

Users that are interested in prettier-printer are comparing it to the libraries listed below

• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆50Updated 6 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• philopon / purescript-json-deprecated
  DEPRECATED: please use https://github.com/purescript-contrib/purescript-argonaut
  ☆14Updated 8 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated last month
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆70Updated 5 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 10 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• janestreet / jenga
  Build system
  ☆90Updated 7 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 8 years ago
• deech / LeftPad
  ☆23Updated 7 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 10 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• fluture-js / fluture-sanctuary-types
  Fluture type definitions for Sanctuary
  ☆19Updated 4 years ago
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• idris-hackers / iQuery
  Idris Lib to interact with the DOM and Browser API for the JavaScript backend
  ☆40Updated 7 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆89Updated 9 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• cdparks / lambda-machine
  A simple UI for evaluating expressions in the untyped lambda calculus
  ☆56Updated 2 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 8 years ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 6 years ago
• ndmitchell / rattle
  Forward build system with speculation and caching
  ☆108Updated last year