Pinned Repositories
kona
Open-source implementation of the K programming language
kona.github.io
Kona website
191_Final_Project
Final Paper for Knot Theory Class
coc-isabelle
Because PIDE is not my editor.
collatz_fractal
Collatz fractal generator.
Game
2016 Fall
imastack
Dumb stack-oriented language.
kelleybioinfo
(In progress) Rewrite of kelleybioinfo.org
vim-dyon
Vim syntax highlighting for Dyon language
thyrgle's Repositories
thyrgle/191_Final_Project
Final Paper for Knot Theory Class
thyrgle/daemon
Daemon is a cross-platform frontend for a robotics control system. It's also the future.
thyrgle/GamesmanBasic
Skeleton for a simple game solver.
thyrgle/GamesmanSpark
Distributed GamesCrafters solver.
thyrgle/io
Io programming language
thyrgle/Pepperoni-Piazza
My Stylish Theme for Piazza
thyrgle/radianskelvin
thyrgle/tenshi
Control System Next
thyrgle/TestingExample
Somewhat revised basic solver and testing code.
thyrgle/thyrgle.github.io
Personal website