Alternatives and similar repositories for prettier-printer

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

• dannywillems / RML
  ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
  ☆37Updated 3 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆19Updated 7 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆33Updated 13 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆54Updated 9 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 3 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"
  ☆19Updated 6 years ago
• qiao / immutable-sequence.js
  High performance implementation of Immutable Sequence in JavaScript, based on Finger Tree.
  ☆16Updated 9 years ago
• janestreet / async_unix
  Jane Street Capital's asynchronous execution library (unix)
  ☆33Updated last week
• JetBrains / ot-coq
  ot-coq
  ☆17Updated last year
• ocsigen / reactiveData
  Functional reactive programming with incremental changes in data structures
  ☆52Updated 3 weeks ago
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 9 years ago
• jscert / jsexplain
  ☆26Updated 2 years ago
• mirage / eqaf
  Constant time equal function to avoid timing attacks in OCaml
  ☆51Updated 11 months ago
• dalaing / little-languages
  Playing with DSLs in Haskell
  ☆22Updated 8 years ago
• ocaml-ppx / ppx_getenv
  A sample syntax extension using OCaml's new extension points API.
  ☆25Updated 11 months ago
• metaborg / spoofax-intellij
  ☆11Updated last month
• strega-nil / stregaml
  Experimenting with a language implementation in ocaml
  ☆32Updated 5 years ago
• cristianoc / REInfer
  Runtime Extended Inference for json data.
  ☆22Updated 2 years ago
• let-def / merlin-extend
  SDK to extend Merlin
  ☆28Updated 8 months ago
• gcanti / recursion-schemes-ts
  Recursion schemes in TypeScript (POC)
  ☆22Updated 5 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago
• haskell / hoopl
  Higher-order optimization library
  ☆74Updated last year
• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆60Updated 7 months ago
• 1ml-prime / 1ml
  1ML prototype interpreter
  ☆20Updated 4 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆27Updated 2 years ago
• fpottier / pprint
  A pretty-printing combinator library for OCaml
  ☆51Updated 10 months ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆31Updated 7 years ago
• nickzuber / chalk
  Composable and simple terminal highlighting package for OCaml.
  ☆30Updated 7 years ago
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago