Alternatives and similar repositories for smlfmt

Users that are interested in smlfmt are comparing it to the libraries listed below

• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆73Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 4 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• jsiek / gradual-typing-in-agda
  Formalizations of Gradually Typed Languages in Agda
  ☆57Updated 4 months ago
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆36Updated last month
• standardml / twelf
  The Twelf Programming Language
  ☆134Updated 4 months ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆67Updated 8 months ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆114Updated 3 weeks ago
• jonsterling / dreamtt
  A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.
  ☆82Updated 3 years ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆53Updated 4 months ago
• artagnon / bonak
  🧊 An indexed construction of semi-simplicial and semi-cubical sets
  ☆29Updated this week
• lexa-lang / lexa
  ☆33Updated 8 months ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆164Updated last week
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆62Updated 3 years ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 9 months ago
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆69Updated 4 months ago
• andreypopp / type-systems
  Playing with type systems
  ☆51Updated 5 months ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• zehaochen19 / vanilla-lang
  An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
  ☆90Updated 2 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆116Updated 2 years ago
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆26Updated last year
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆68Updated 2 years ago
• ProjectSavanna / autoformat
  Standard ML autoformatter
  ☆15Updated 3 years ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆107Updated 3 years ago
• rocq-community / graph-theory
  Graph Theory [maintainers=@chdoc,@damien-pous]
  ☆36Updated 2 weeks ago
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆127Updated last year
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆122Updated 3 years ago
• abella-prover / abella
  An interactive theorem prover based on lambda-tree syntax
  ☆95Updated last month
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated 4 months ago
• mspertus / TAPL
  Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…
  ☆55Updated 2 years ago