robsimmons/utf8islove

Stars
2
Language
Emacs Lisp
License
GNU General Publi...
Created over 13 years ago
Updated over 12 years ago

robsimmons/utf8islove

robsimmons

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

Tools for using Emacs to write Unicode characters in plain LaTeX

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

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)

hot-notes

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

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