robsimmons/sml-lib robsimmons/sml-lib

  • Stars
    star
    54
  • Rank 544,902 (Top 11 %)
  • Language Standard ML
  • License
    GNU General Publi...
  • Created over 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
robsimmons/sml-lib
github

robsimmons

Reviews

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

Repository Details

Library for Standard ML

More Repositories

1

cmu-thesis

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

abbot

Generation of abstract binding trees
Standard ML
26
star
3

functioning

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

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
5

l10

The L10 Logic Programming Language
Standard ML
11
star
6

agda-lib

A standard library for Agda
Agda
8
star
7

thesis

TeX
4
star
8

utf8islove

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

c0testing

Public test case suite for C0
Nearley
2
star
10

simple-fixity

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

sdlml

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

hot-notes

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

toy

Standard ML
2
star
14

agda-typescript-starter

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

cmlex-temp

Standard ML
1
star
16

dev-urand

SIGBOVIK 2012
1
star
17

sls

Standard ML
1
star
18

lambdatown

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