Bob Grudem's repositories
tree-derivations
Drawing trees for fun in Haskell
conifer-server
Simple Snap-based server to produce drawings of conifers
conifer-ui
An AngularJS-based user interface for playing with conifers.
fd-examples
Sample problems solved with constraint networks over integers, using the FD monad.
manars-kitchen
Scheduling workers in a large kitchen.
new-notifications-design
Design documentation for a new alerts / notifications system.
Language:Haskell000
silver-pockets-full
A program to debunk an Internet meme about a certain calendar event.
yinyang
Graphical yin-yang puzzle
Language:ElmMIT000