Alternatives and similar repositories for prettier-printer

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

• BekaValentine / so-you-want-to-write-a-type-checker
  ☆55Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• janestreet / jenga
  Build system
  ☆90Updated 6 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 10 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated this week
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 8 years ago
• bodil / palmtree
  Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.
  ☆26Updated 5 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆49Updated 6 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆69Updated 5 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 7 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• ethul / purescript-react-example
  Example of React Bindings for PureScript
  ☆47Updated 6 years ago
• solidsnack / pg-sql-variants
  Variants types for PostgreSQL
  ☆31Updated 5 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• liamoc / patches-vector
  A library for patches (diffs) on vectors: composable, mergeable and invertible
  ☆57Updated 7 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago
• ravichugh / djs
  Dependent JavaScript: A Typed Dialect
  ☆87Updated 12 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 2 years ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆24Updated 4 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆177Updated last year
• Ekdohibs / joujou
  A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a …
  ☆90Updated 6 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆55Updated 9 years ago
• urweb / upo
  The Ur/Web People Organizer
  ☆30Updated last year
• yallop / higher
  Higher-kinded programming in OCaml
  ☆183Updated last year
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 7 years ago