exercism / sml
Exercism exercises in Standard ML.
☆28Updated 3 weeks ago
Alternatives and similar repositories for sml:
Users that are interested in sml are comparing it to the libraries listed below
- Exercism exercises in Scheme.☆35Updated 2 months ago
- ☆13Updated last month
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- ☆7Updated last month
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Alice ML implementation☆17Updated 2 years ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- An environment variable manager for Racket applications☆17Updated last year
- an implementation of a microKanren(-like language) in miniKanren☆26Updated 10 years ago
- OCaml bindings for RE2☆46Updated 4 months ago
- A TOML parser implementation in Racket.☆10Updated 5 years ago
- Library for Standard ML☆55Updated 13 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 12 years ago
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- Mocking library for Racket☆22Updated 4 years ago
- ☆69Updated last week
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- miniKanren in OCaml☆31Updated last year
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- ATS2: Unleashing the Potentials of Types and Templates☆42Updated 5 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Data structures and algorithms in OCaml☆49Updated 2 years ago
- Gambit Scheme library to interface to Python☆9Updated 10 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆35Updated 8 years ago
- J for Android☆33Updated 2 weeks ago
- nand-lang☆15Updated 6 years ago
- LablTk, an OCaml interface for Tcl/Tk☆34Updated 2 months ago
- Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …☆10Updated 2 years ago