sgord512 Goto Github PK

algebra

Symbolic Manipulation of Algebraic Expression and interactive Recurrence Unfolding in Haskell

brizo

R5RS Interpreter written in Haskell

caltechletterstest

contractionmaptoeopl

Javascript App used to illustrate reduction from Contraction Map to EOPL

cs155_miniproject1

dotfiles

My ~/.* files

graphsalgorithms

Javascript implementation of a bunch of different graph algorithms

home

A reimplementation of my personal website in Haskell

id_algo

lam

A Haskell implementation of the untyped lambda calculus with no base types.

leader_election

A verification of the LCR algorithm for leader election in a synchronous ring

legit-buildings

msthesis

Master's Thesis

pazz

A Command-Line Program for Quickly Jotting Notes about Music

quiver

A modern commutative diagram editor for the web.

rmmbr

A Command-Line Program for Making Todo lists

sierpinski

Sierpinski Triangle Animation, other small Haskell stuff

starlings

My site: mostly a blog, but some other stuff

sudoku

Haskell soduku solver (doesn't do board generation at the moment)

trees

functional versions of some tree layout algorithms

truthy

Truth tables and logical stuff in Haskell

turing

A turing machine simulation / visualization in Haskell

underscore

JavaScript's utility _ belt

utilities

Haskell utility function library

whalesong

Whalesong: Racket to JavaScript compiler