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.
  ☆40Updated last week
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• ats-lang / ats-lang.github.io
  For parts of https://www.ats-lang.org
  ☆26Updated 7 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆65Updated 8 months ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 6 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• racket / parser-tools
  ☆15Updated 2 months ago
• haskell-implementations / hugs
  Haskell User's Gofer System
  ☆27Updated 9 years ago
• exercism / racket
  Exercism exercises in Racket.
  ☆46Updated last week
• mflatt / scratchy
  Demonstration of implementing a language in Racket
  ☆58Updated 11 years ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• exercism / coq
  Exercism exercises in Coq.
  ☆19Updated last year
• ats-lang / ATS-Postiats-release
  ATS2: Unleashing the Potentials of Types and Templates
  ☆46Updated 6 years ago
• racket / gui
  ☆69Updated this week
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆117Updated 8 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 3 years ago
• racket / datalog
  ☆49Updated 2 months ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆32Updated 2 years ago
• SMLFamily / SMLFamily.github.io
  Web site for standardml.org.
  ☆36Updated 2 years ago
• lexi-lambda / scripty
  Distributable shell scripts with dependencies
  ☆11Updated 9 years ago
• racket / racket-lang-org
  ☆73Updated 3 weeks ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• trith / trith
  A concatenative programming language founded on the unholy trinity of Forth, Lisp and RDF triples.
  ☆70Updated 15 years ago
• vendethiel / trying.apl
  APL is the greatest language ever
  ☆68Updated last year
• padsproj / pads-haskell
  Haskell binding for PADS
  ☆21Updated 6 years ago
• gallettilance / magnificATS
  Collection of ATS goodness
  ☆34Updated 6 years ago
• gregr / icfp2017-artifact-auas7pp
  ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems
  ☆29Updated 8 years ago
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆58Updated 5 years ago
• nuprl / website
  Source for PRL website
  ☆18Updated 2 weeks ago
• i4ki / awesome-sml
  Useful things for Standard ML
  ☆71Updated last year