Alternatives and similar repositories for sml

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

• exercism / scheme
  Exercism exercises in Scheme.
  ☆38Updated last month
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 11 years ago
• racket / gui
  ☆68Updated 3 weeks ago
• nuprl / website
  Source for PRL website
  ☆18Updated 10 months ago
• racket / slideshow
  ☆37Updated last month
• racket / parser-tools
  ☆13Updated last month
• racket / racket-lang-org
  ☆71Updated last week
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 3 months ago
• exercism / racket
  Exercism exercises in Racket.
  ☆43Updated last month
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆115Updated 8 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 10 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated last year
• racket / datalog
  ☆48Updated last month
• toddaaro / advanced-dan
  Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"
  ☆16Updated 12 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 8 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…
  ☆60Updated 4 months ago
• standardml / parcom
  SML Parser Combinator Library
  ☆28Updated 9 years ago
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆45Updated 5 years ago
• idris-hackers / idris-cph-exercises
  Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.
  ☆23Updated 10 years ago
• lexi-lambda / scripty
  Distributable shell scripts with dependencies
  ☆11Updated 8 years ago
• tonyg / marketplace
  Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014
  ☆73Updated 4 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 14 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 3 years ago
• perl6 / Pugs.hs
  (ARCHIVE) Raku User's Golfing System in Haskell
  ☆85Updated 4 years ago
• jsoftware / jandroid
  J for Android
  ☆35Updated last month
• bldl / magnolisp
  Magnolisp, a toy programming language
  ☆17Updated last year
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆51Updated 2 months ago