exercism / sml
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
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 11 years ago
- Exercism exercises in Scheme.☆35Updated 3 months ago
- An environment variable manager for Racket applications☆17Updated last year
- ☆7Updated last month
- Simple Neural Network Examples in 8 lines APL☆31Updated last year
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆15Updated 12 years ago
- Repository and Wiki for enriching the Standard ML Basis Library☆61Updated 3 years ago
- Repository has moved: https://git.syndicate-lang.org/syndicate-lang/marketplace-2014☆73Updated 3 years ago
- ☆14Updated last month
- Mocking library for Racket☆22Updated 4 years ago
- Distributable shell scripts with dependencies☆11Updated 8 years ago
- ☆70Updated last week
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- The Definition of Standard ML, Revised (1997)☆114Updated 7 years ago
- Exercism exercises in Racket.☆41Updated last month
- experimental computational medium and supporting tools☆22Updated this week
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Updated 8 years ago
- Code written while working through the book LISP in Small Pieces☆27Updated 11 years ago
- Library for Standard ML☆55Updated 13 years ago
- A basic JSON parsing library for SML☆11Updated 10 years ago
- ☆19Updated last week
- Gambit Scheme library to interface to Python☆9Updated 11 months ago
- A pattern match macro for chez-scheme☆18Updated 8 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- nand-lang☆15Updated 7 years ago
- Optimization Coach Plug-In for DrRacket☆20Updated last month
- Shen KLambda to KLVM translator.☆30Updated 9 years ago
- A simple compiler from the lambda calculus to MIPS assembly☆20Updated 7 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆23Updated 12 years ago