robsimmons/agda-lib

Stars
8
Rank 2,099,232 (Top 42 %)
Language Agda
License
Other
Created almost 14 years ago
Updated about 8 years ago

robsimmons/agda-lib

robsimmons

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

A standard library for Agda

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

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