Alternatives and similar repositories for sml-server

Users that are interested in sml-server are comparing it to the libraries listed below

• diku-dk / sigdoc
  Signature documentation tool for Standard ML
  ☆14Updated 2 years ago
• elpinal / bright-ml
  A statically-typed programming language based on "F-ing modules"
  ☆81Updated 5 years ago
• diku-dk / sml-parse
  Standard ML Parser Combinator Library
  ☆17Updated 2 weeks ago
• vqns / polymlb
  ML Basis for Poly/ML
  ☆12Updated 3 months ago
• MPLLang / mpllib
  Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)
  ☆21Updated 4 months ago
• jluningp / smlformat
  An auto-formatter for the Standard ML language
  ☆23Updated 5 years ago
• SMLFamily / BasisLibrary
  Repository and Wiki for enriching the Standard ML Basis Library
  ☆64Updated 4 years ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆11Updated last week
• metaocaml / ber-metaocaml
  Unofficial git mirror of the BER MetaOCaml patchset.
  ☆69Updated 8 months ago
• palladin / idris-snippets
  Collection of Idris snippets
  ☆23Updated last month
• diku-dk / sml-http
  HTTP utility library for Standard ML
  ☆11Updated 2 weeks ago
• yallop / ocaml-asp
  Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
  ☆104Updated 8 months ago
• rossberg / hamlet
  SML reference interpreter
  ☆121Updated 3 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆51Updated 11 years ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆98Updated last year
• RedPRL / asai
  🩺 A library for compiler diagnostics
  ☆52Updated 2 months ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 6 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆87Updated 3 weeks ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• kcrary / cmtool
  Lexer and parser generators for Standard ML, OCaml, and Haskell.
  ☆37Updated 3 years ago
• lpw25 / girards-paradox
  A "implementation" of Girard's paradox in OCaml
  ☆110Updated 10 years ago
• rossberg / mixml
  MixML prototype interpreter
  ☆27Updated 6 years ago
• cedille / ial
  The Iowa Agda Library
  ☆53Updated 2 months ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆31Updated last year
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆51Updated 2 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆56Updated 3 years ago
• JohnReppy / sml-compiler-utils
  A collection of SML utility modules that are useful for compiler writing.
  ☆11Updated last month
• CakeML / pure
  A verified compiler for a lazy functional language
  ☆37Updated last week
• Chris00 / ocaml-cairo
  Binding to Cairo, a 2D Vector Graphics Library.
  ☆56Updated last year
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated 2 years ago