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
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 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
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 13 years ago
• evertedsphere / sound-and-complete
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Updated 7 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
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• JetBrains / ot-coq
  ot-coq
  ☆17Updated last year
• functional-data-structure / finger-tree
  Finger tree data structure for JavaScript
  ☆26Updated this week
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated last week
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated last year
• VictorTaelin / ESCoC
  A nano "theorem prover".
  ☆62Updated 6 years ago
• gcanti / recursion-schemes-ts
  Recursion schemes in TypeScript (POC)
  ☆22Updated 4 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• Adapton / fungi-lang.rust
  Fungi: Typed incremental computation with names
  ☆67Updated 5 years ago
• deepakjois / blaze-svg
  SVG Combinators for Haskell
  ☆23Updated 7 years ago
• vmchale / recursion
  Recursion schemes in ATS
  ☆9Updated 3 years ago
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• relrod / ct
  My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.
  ☆14Updated 5 years ago
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆54Updated 9 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 5 years ago
• evincarofautumn / Toody
  A two-dimensional parser combinator library.
  ☆41Updated 7 years ago
• Soonad / Base.fm
  Standard library for the Formality language
  ☆18Updated 5 years ago