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 12 years ago
• BekaValentine / so-you-want-to-write-a-type-checker
  ☆56Updated 8 years ago
• janestreet / jenga
  Build system
  ☆89Updated 7 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• coq-concurrency / pluto
  A web server written in Coq.
  ☆89Updated 9 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 2 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• attresearch / yakker
  ☆24Updated 14 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 4 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 5 months ago
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆25Updated 9 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 8 years ago
• philopon / purescript-json-deprecated
  DEPRECATED: please use https://github.com/purescript-contrib/purescript-argonaut
  ☆14Updated 9 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆190Updated 3 weeks ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆23Updated 4 years ago
• fused-effects / fused-effects-lens
  Lens combinators for fused-effects.
  ☆17Updated 5 years ago
• hasura / pg-client-hs
  A low level Haskell library to connect to postgres
  ☆25Updated 3 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 7 years ago
• edwinb / States
  State machines in Idris
  ☆37Updated 9 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆15Updated 10 years ago