skymountain/automata
Public repository.
Developer Profile
skymountain
Discovered public repositories for skymountain in the GitHub catalog.
skymountain/dcc
Public repository.
skymountain/euler
Project Euler
skymountain/SML
Algorithms and Data structures
skymountain/Configure
configure files
skymountain/dotfiles
Public repository.
skymountain/lambda
interpreter for lambda calculus
skymountain/sysf
interpreter of System F and the derived type systems.
skymountain/miniocaml
subset of ml
skymountain/Sorter
Public repository.