Alternatives and similar repositories for prettier-printer:

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

• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 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"
  ☆18Updated 6 years ago
• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆37Updated 2 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 13 years ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated 2 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 2 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last week
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 2 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• bitonic / hakyll-agda
  Hakyll support for Agda literate files
  ☆19Updated 3 years ago
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆73Updated last year
• deech / LeftPad
  ☆23Updated 7 years ago
• ichistmeinname / free-proving
  Resources for "One Monad to Prove Them All"
  ☆29Updated 6 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• ezrakilty / narc
  Nested Relational Calculus embedded in Haskell
  ☆16Updated 12 years ago
• awakesecurity / language-ninja
  A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.
  ☆35Updated 7 years ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆24Updated 6 months ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• dmjio / graphql-meta
  Lexing, parsing, pretty-printing, and metaprogramming facilities for dealing with GraphQL schemas and queries
  ☆21Updated 2 months ago
• neel-krishnaswami / linearml
  A simple implementation of linear type theory
  ☆38Updated 7 years ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆52Updated 8 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago