jeapostrophe Goto Github PK

.github

203-data1

[dead] 203-data1 - example data1 project for CS203 at Vassar

203-game1

[dead] 203-game1 - example project for CS203 at Vassar

3s

3s - positional sound and mixing for lux and other applications

adqc

adqc - A version of C with verification and resource bounds

adventofcode

apd

[dormant] automatic protocol designer

apse

apse - A Pixel Sprite Editor

arroy

labelled transition system language

automata

automata - macros to build automata over match patterns

batched-deque

[rewrite] batched deque data structure

bigcrunch

birthday-scriptures

bloggy

basic blogging system

bulletml

[dormant] implementation of bulletml

c

#lang for writing C code

ceal

chipmunk

[dormant] FFI for chipmunk physics

chk

chk - a minimal tester

club-list

attendance manager for clubs

compiler

[dormant] experimental compiler infrastructure

compy

[dormant] an experiment in making a compiler for teaching

connected

[rewrite] connected component algorithm for graphs

csrankings

A web app for ranking computer science departments according to their research output in selective venues.

cur

Powerful meta-programming for powerful types.

datalog

[moved] an implementation of datalog (moved to datalog package in Racket core)

dbm

FFI to dbm

dijkstra

[rewrite] implementation of dijkstra's algorithm

dos

DOS - Delimited-continuation-based Operating-system Simulator

drbayes

Dr. Bayes