smlsqlite is a binding of SQLite for Moscow ML and MLton
-
Updated
Apr 20, 2009 - C
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.
smlsqlite is a binding of SQLite for Moscow ML and MLton
Solutions for chapter exercises in Modern Programming Languages: A Practical Introduction.
Class Project - Implementation of a configuration parser using Standard ML of NJ (SML).
KD tree implementation in Standard ML / MLton
Compiler with Hindley-Milner type-inference written in Standard ML. Project for COMP 105 - Programming Languages.
Small and large integer implementation for a subset of the SmallTalk programming language written in Standard ML. Project for Tufts COMP 105 - Programming Languages.
Tiger Compiler from Modern Compiler Implementation in ML
Just old code I want to keep at hand. Not very useful for anyone.
Code examples from the book 'Programming in Standard ML' (2011) by Bob Harper.
Everything will be merged in the original repo
SML/NJ simple kernel for Jupyter/IPython Notebook
Exploration of Standard ML by practical examples
Runge-Kutta methods in Standard ML
Insomnia: A modular probabilistic programming language
TiML: A Functional Programming Language with Time Complexity
Lazy list (aka Infinite list or Stream) implementation for SML/NJ (http://www.smlnj.org/).
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983