Discover @robsimmons Open Source projects

Robert J. Simmons (@robsimmons)

robsimmons

Stars
187
Global Rank 129,847 (Top 5 %)
Followers 105
Following 32
Registered about 14 years ago
Most used languages

Standard ML 57.9 %

TeX
10.5 %

Emacs Lisp
5.3 %

JavaScript
5.3 %

Nearley 5.3 %

OCaml
5.3 %

Agda 5.3 %

C
5.3 %
Location 🇺🇸 United States
Country Total Rank 29,449
Country Ranking

Nearley 5

Standard ML 7

Agda 27

OCaml
231

TeX
511

Emacs Lisp
1,712

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)

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