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
  ☆56Updated 8 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• janestreet / jenga
  Build system
  ☆89Updated 7 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 10 years ago
• fluture-js / fluture-sanctuary-types
  Fluture type definitions for Sanctuary
  ☆19Updated 4 years ago
• attresearch / yakker
  ☆23Updated 13 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 7 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
• protz / mezzo
  The language of the future!
  ☆73Updated 2 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆50Updated 6 years ago
• bodil / sized-vec
  Rust vectors with type level size
  ☆23Updated 4 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆76Updated 2 years ago
• koalaman / pack
  Haskell implementation of gzip-compatible `pack` compression from the early 1980s
  ☆39Updated 8 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• mietek / totally-fp
  Totally functional programming literature
  ☆60Updated 6 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆89Updated 9 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 8 years ago
• VictorTaelin / articles
  Thoughts and stuff
  ☆70Updated 5 years ago
• fluture-js / concurrify
  Turn non-concurrent FantasyLand Applicatives concurrent
  ☆25Updated 5 years ago
• ocamllabs / ocaml-modular-implicits
  OCaml extended with modular implicits
  ☆105Updated 7 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 11 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆189Updated last week
• bkero / es4
  es4 clone
  ☆27Updated 11 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 5 months ago
• clintonmead / haskell_bits
  ☆54Updated 5 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆57Updated 9 years ago