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
• 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
• protz / mezzo
  The language of the future!
  ☆72Updated 2 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 9 years ago
• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• steshaw / tdd-with-idris
  Working through Type-Driven Development with Idris
  ☆25Updated 9 years ago
• deech / LeftPad
  ☆23Updated 8 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 8 years ago
• bor0 / gidti
  Book: Introduction to Dependent Types with Idris
  ☆78Updated 2 years ago
• brownplt / LambdaJS
  Semantics and tools for JavaScript
  ☆92Updated 3 years ago
• UU-ComputerScience / js-asteroids
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Updated 11 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆71Updated 6 years ago
• cruxlang / crux
  Crux Programming Language
  ☆53Updated 5 months ago
• stonebuddha / tree-sitter-sml
  Standard ML Grammar for Tree-sitter
  ☆25Updated 4 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆190Updated 3 weeks ago
• janestreet / jenga
  Build system
  ☆89Updated 7 years ago
• codedot / lambda
  Macro Lambda Calculus
  ☆50Updated 6 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• lkuper / rust-redex
  A PLT Redex model of a toy language that is almost, but not quite, entirely unlike Rust
  ☆36Updated 12 years ago
• fluture-js / fluture-sanctuary-types
  Fluture type definitions for Sanctuary
  ☆19Updated 4 years ago
• willcrichton / rabbot
  Abstract binding tree code generator
  ☆37Updated 9 years ago
• attresearch / yakker
  ☆24Updated 14 years ago
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆60Updated 5 years ago
• uwplse / Cassius
  A CSS specification and reasoning engine
  ☆100Updated 2 years ago
• WebAssembly / tail-call
  Proposal to add tail calls to WebAssembly
  ☆115Updated 11 months ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 8 years ago
• nuprl / Stopify
  A JS-to-JS compiler that makes it easier to build Web IDEs and compile to JS.
  ☆179Updated last year
• softdevteam / eco
  Editor for language composition
  ☆58Updated 3 years ago