robsimmons/abbot
Generation of abstract binding trees
Discovered public repositories for robsimmons in the GitHub catalog.
Generation of abstract binding trees
A Semantic Versioning library for Standard ML (SemVer 2.0.0)
Public repository.
Haskell implementation of the Levy (CBPV) language
pygments wrapper for ruby via embedded python
Tinybot is a toy implementation of semi-naive bottom up logic programming
Public repository.
An attempt at general-purpose fixity resolution code for Standard ML
Public repository.
Public repository.
SIGBOVIK 2012
Public repository.
Latex starters for creating a CMU thesis or thesis proposal
Functioning: A Game Framework based on SDL for Standard ML
Public repository.
Public repository.
SML Checker for Intersection and Datasort Refinements (pronounced "cider")
Language Savant
A simple, Git-powered wiki with a sweet API and local frontend.
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.
Library for Standard ML
Wrappers for Simple 4 Directmedia Layer (SDL) in Standard ML (SML)
The L10 Logic Programming Language
Tools for using Emacs to write Unicode characters in plain LaTeX
A standard library for Agda
Public repository.