exercism / smlLinks
Exercism exercises in Standard ML.
☆28Updated 2 weeks ago
Alternatives and similar repositories for sml
Users that are interested in sml are comparing it to the libraries listed below
Sorting:
- For parts of https://www.ats-lang.org☆26Updated 5 months ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- F*dging up a Racket: how to write Brainf*ck as a Racket language☆27Updated 5 years ago
- Exercism exercises in Scheme.☆39Updated 2 weeks ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Exercism exercises in Racket.☆46Updated 2 weeks ago
- ATS2: Unleashing the Potentials of Types and Templates☆45Updated 5 years ago
- A pattern match macro for chez-scheme☆19Updated 8 years ago
- Simple Neural Network Examples in 8 lines APL☆32Updated 2 years ago
- Haskell User's Gofer System☆27Updated 9 years ago
- Preprocessor / Pretty Printer for OCaml☆76Updated 2 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆33Updated 7 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Updated 13 years ago
- ☆49Updated 3 weeks ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- S-expression swiss knife☆47Updated 3 weeks ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆60Updated 6 months ago
- Web site for standardml.org.☆36Updated 2 years ago
- Sinister's Scheme Compiler!☆24Updated 3 years ago
- ☆73Updated 2 weeks ago
- Compile JavaScript to Native Code☆29Updated 5 years ago
- J for Android☆35Updated 3 months ago
- Camlp4 tool☆102Updated 2 months ago
- 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
- Automated S-expression conversion☆172Updated 3 weeks ago
- Data structures and algorithms in OCaml☆54Updated 4 months ago
- Repository and Wiki for enriching the Standard ML Basis Library☆64Updated 4 years ago
- Source for PRL website☆18Updated last year