Alternatives and similar repositories for smlfmt:

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

• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆18Updated 2 weeks ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• yallop / ocaml-flap
  A deterministic parser with fused lexing
  ☆72Updated last year
• standardml / twelf
  The Twelf Programming Language
  ☆119Updated last month
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆34Updated 3 weeks ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆15Updated 6 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated 3 weeks ago
• Ekdohibs / camlboot
  Experiment on how to bootstrap the OCaml compiler
  ☆103Updated 2 years ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆200Updated this week
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 6 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• iu-parfunc / gibbon
  A compiler for functional programs on serialized data
  ☆158Updated this week
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 2 months ago
• verse-lab / ego
  EGraphs in OCaml
  ☆65Updated last year
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated 3 weeks ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆101Updated last year
• slasser / vermillion
  LL(1) parser generator verified in Coq
  ☆45Updated 5 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 9 months ago
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆140Updated last month
• alhassy / next-700-module-systems
  PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
  ☆81Updated 3 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 6 months ago
• mmcqd / datatt
  A dependent type theory with user defined data types
  ☆46Updated 3 years ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆53Updated this week