robsimmons

sml-lib

Library for Standard ML

functioning

Functioning: A Game Framework based on SDL for Standard ML

levy

A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec' branch fiddles with the parser, and the 'datatype' branch totally changes the parser (damn you, reduce/reduce errors) and adds support for user-defined datatypes. The 'holey' branch is highly experimental; I am using it to explore some ideas in generic programming.

sdlml

Wrappers for Simple 4 Directmedia Layer (SDL) in Standard ML (SML)

simple-fixity

An attempt at general-purpose fixity resolution code for Standard ML

sml-cidre

SML Checker for Intersection and Datasort Refinements (pronounced "cider")

toy

utf8islove

Tools for using Emacs to write Unicode characters in plain LaTeX

celf-recon

cmlex-temp

dev-urand

SIGBOVIK 2012

gollum-c0

A simple, Git-powered wiki with a sweet API and local frontend.

lambda-reader

lambdatown

linguist

Language Savant

sls

tinybot

Tinybot is a toy implementation of semi-naive bottom up logic programming

pygments-c0.rb

pygments wrapper for ruby via embedded python