smlsqlite is a binding of SQLite for Moscow ML and MLton
-
Updated
Apr 20, 2009 - C
#
sml
Standard ML (SML; “Standard Meta Language”) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. It is distinctive among widely used languages in that it has a formal specification.
Here are 303 public repositories matching this topic...
Solutions for chapter exercises in Modern Programming Languages: A Practical Introduction.
-
Updated
Oct 17, 2013
Streaming library for bulk memory operations with Standard ML in MLton
-
Updated
Mar 16, 2015 - Standard ML
Code for online course Programming Languages
-
Updated
Dec 10, 2016 - Standard ML
Barnes Hut Algorithim Implementation
-
Updated
Jan 16, 2017 - Standard ML
Code examples from the book 'Programming in Standard ML' (2011) by Bob Harper.
-
Updated
Apr 9, 2017 - Standard ML
SML Implementation of Automatic Differentiation
-
Updated
Apr 12, 2017 - Standard ML
-
Updated
Apr 16, 2017 - Standard ML
programming tasks in SML/Racket/Ruby for Programming Language course on Coursera
-
Updated
Apr 17, 2017 - Standard ML
An experimental compiler for the sml language
-
Updated
May 19, 2017 - Standard ML
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983
- Followers
- 42 followers
- Website
- github.com/topics/standard-ml
- Wikipedia
- Wikipedia