Alternatives and similar repositories for book:

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

• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆75Updated 3 weeks ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆65Updated 5 months ago
• smlnj / smlnj
  Standard ML of New Jersey
  ☆204Updated this week
• T-Brick / molasses
  MLB support for CM (the SML/NJ Compilation and Library Manager)
  ☆18Updated last year
• brandonspark / mulligan
  A stepping debugger for Standard ML (SML)
  ☆25Updated last year
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆80Updated 4 years ago
• MatthewFluet / company-mlton
  company-mode completion back-end for MLton/Standard ML
  ☆14Updated 4 years ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆71Updated last week
• standardml / smackage
  Smackage Package Manager for Standard ML
  ☆123Updated 2 years ago
• ayazhafiz / plts
  A collection of programming languages and type systems.
  ☆33Updated 7 months ago
• gelisam / klister
  an implementation of stuck macros
  ☆139Updated 2 weeks ago
• smlnj / legacy
  This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
  ☆37Updated this week
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 10 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated 6 months ago
• azdavis / millet
  A language server for Standard ML in Rust.
  ☆222Updated 2 weeks ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆20Updated last month
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆61Updated 3 years ago
• mmcqd / pure
  A pure type system implemented in OCaml
  ☆78Updated 4 years ago
• rossberg / hamlet
  SML reference interpreter
  ☆112Updated last year
• andreypopp / type-systems
  Playing with type systems
  ☆50Updated 3 months ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated 5 months ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆16Updated 6 months ago
• ocaml-gospel / gospel
  A tool-agnostic formal specification language for OCaml.
  ☆140Updated last month
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆49Updated 6 months ago
• JohnReppy / sml-lsp-kit
  Standard ML Infrastructure for writing LSP servers
  ☆13Updated 5 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆70Updated 8 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆31Updated 3 years ago
• camllight / camllight
  The Caml Light implementation of the Caml language
  ☆66Updated 2 years ago
• T-Brick / c0deine
  Reference compiler for c0
  ☆35Updated 7 months ago