Pinned Repositories
Algebra
Symbolic Manipulation of Algebraic Expression and interactive Recurrence Unfolding in Haskell
Brizo
R5RS Interpreter written in Haskell
fractals
Go / OpenGL fractal application
GraphsAlgorithms
Javascript implementation of a bunch of different graph algorithms
id_algo
lam
A Haskell implementation of the untyped lambda calculus with no base types.
Pazz
A Command-Line Program for Quickly Jotting Notes about Music
react-polygon
Rmmbr
A Command-Line Program for Making Todo lists
Sierpinski
Sierpinski Triangle Animation, other small Haskell stuff
sgord512's Repositories
sgord512/GraphsAlgorithms
Javascript implementation of a bunch of different graph algorithms
sgord512/lam
A Haskell implementation of the untyped lambda calculus with no base types.
sgord512/Algebra
Symbolic Manipulation of Algebraic Expression and interactive Recurrence Unfolding in Haskell
sgord512/Brizo
R5RS Interpreter written in Haskell
sgord512/Pazz
A Command-Line Program for Quickly Jotting Notes about Music
sgord512/Rmmbr
A Command-Line Program for Making Todo lists
sgord512/Sierpinski
Sierpinski Triangle Animation, other small Haskell stuff
sgord512/Starlings
My site: mostly a blog, but some other stuff
sgord512/Sudoku
Haskell soduku solver (doesn't do board generation at the moment)
sgord512/Trees
functional versions of some tree layout algorithms
sgord512/Truthy
Truth tables and logical stuff in Haskell
sgord512/turing
A turing machine simulation / visualization in Haskell
sgord512/underscore
JavaScript's utility _ belt
sgord512/Utilities
Haskell utility function library
sgord512/fractals
Go / OpenGL fractal application
sgord512/id_algo
sgord512/react-polygon
sgord512/caltechletterstest
sgord512/ContractionMapToEOPL
Javascript App used to illustrate reduction from Contraction Map to EOPL
sgord512/cs155_miniproject1
sgord512/dotfiles
My ~/.* files
sgord512/home
A reimplementation of my personal website in Haskell
sgord512/leader_election
A verification of the LCR algorithm for leader election in a synchronous ring
sgord512/legit-buildings
sgord512/MSthesis
Master's Thesis
sgord512/quiver
A modern commutative diagram editor for the web.
sgord512/whalesong
Whalesong: Racket to JavaScript compiler