robsimmons/lambdatown robsimmons/lambdatown

  • Stars
    star
    1
  • Language
  • License
    Other
  • Created almost 14 years ago
  • Updated over 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
robsimmons/lambdatown
github

robsimmons

Reviews

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

Repository Details

More Repositories

1

sml-lib

Library for Standard ML
Standard ML
54
star
2

cmu-thesis

Latex starters for creating a CMU thesis or thesis proposal
TeX
30
star
3

abbot

Generation of abstract binding trees
Standard ML
26
star
4

functioning

Functioning: A Game Framework based on SDL for Standard ML
Standard ML
20
star
5

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.
OCaml
15
star
6

l10

The L10 Logic Programming Language
Standard ML
11
star
7

agda-lib

A standard library for Agda
Agda
8
star
8

thesis

TeX
4
star
9

utf8islove

Tools for using Emacs to write Unicode characters in plain LaTeX
Emacs Lisp
2
star
10

c0testing

Public test case suite for C0
Nearley
2
star
11

simple-fixity

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

sdlml

Wrappers for Simple 4 Directmedia Layer (SDL) in Standard ML (SML)
C
2
star
13

hot-notes

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

toy

Standard ML
2
star
15

agda-typescript-starter

An attempt at relatively straightforward integration of Agda into a Typescript project
JavaScript
1
star
16

cmlex-temp

Standard ML
1
star
17

dev-urand

SIGBOVIK 2012
1
star
18

sls

Standard ML
1
star
19

pin

Standard ML
1
star
20

lambda-reader

Standard ML
1
star
21

tinybot

Tinybot is a toy implementation of semi-naive bottom up logic programming
Standard ML
1
star