robsimmons/hot-notes

Stars
2
Language
Created about 9 years ago
Updated about 9 years ago

robsimmons/hot-notes

robsimmons

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Personal notes for 15-417, Higher-Order Typed Compilation, at CMU. Buyer beware.

sml-lib

Library for Standard ML

cmu-thesis

Latex starters for creating a CMU thesis or thesis proposal

abbot

Generation of abstract binding trees

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.

l10

The L10 Logic Programming Language

agda-lib

A standard library for Agda

thesis

utf8islove

Tools for using Emacs to write Unicode characters in plain LaTeX

c0testing

Public test case suite for C0

simple-fixity

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

sdlml

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

toy

agda-typescript-starter

An attempt at relatively straightforward integration of Agda into a Typescript project

cmlex-temp

dev-urand

sls

lambdatown

pin

lambda-reader

tinybot

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