polytypic / prettier-printer

Related projects ⓘ

Alternatives and complementary repositories for prettier-printer

• nikswamy / SafeTypeScript
  A type-safe dialect of TypeScript
  ☆25Updated 10 years ago
• paf31 / mu-kanren
  A step-by-step MicroKanren evaluator
  ☆29Updated 7 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 5 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 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.
  ☆36Updated 2 years ago
• conal / talk-2015-more-elegant-frp
  A more elegant specification for FRP
  ☆24Updated 10 months ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆14Updated 6 years ago
• protz / mezzo
  The language of the future!
  ☆72Updated 10 months ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆33Updated 10 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆50Updated 8 years ago
• c-cube / smbc
  Experimental model finder/SMT solver for functional programming.
  ☆23Updated 2 years ago
• bmeurer / ocamljit2
  Just-In-Time compiler for the OCaml byte-code runtime.
  ☆32Updated 12 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 11 years ago
• diagrams / monoid-extras
  Miscellaneous constructions on monoids
  ☆18Updated 3 months ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• ocamllabs / ocaml-effects
  *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers
  ☆27Updated 8 years ago
• ucsd-progsys / lh-workshop
  Materials for 2-hr LiquidHaskell Workshop
  ☆11Updated 2 years ago
• gcanti / recursion-schemes-ts
  Recursion schemes in TypeScript (POC)
  ☆22Updated 4 years ago
• antonlogvinenko / javelin
  JVM implementation in Haskell
  ☆44Updated last month
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  ☆0Updated 5 years ago
• elpinal / modules-rs
  An interpreter of F-ing modules
  ☆18Updated 5 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆92Updated 6 years ago
• google / idris-protobuf
  A partial implementation of Protocol Buffers in Idris
  ☆30Updated 7 years ago
• yallop / higher
  Higher-kinded programming in OCaml
  ☆179Updated last year
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆36Updated 4 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 8 years ago