TimJSwan89
I attended University of Illinois in Urbana-Champaign. I absolutely love algorithms and formal methods. I created the Inspiration Basic parse tree editor.
Champaign, Illinois
Pinned Repositories
C-Sorts
Collection of sorting algorithms in C from a great sanfoundry.com article called "C Programming Examples on Searching & Sorting"
clj-minecraft
Clojure Bukkit plugin, Minecraft.
crayon
Crayon Programming Language
euler-offline
Project Euler problems in text file for offline use
FoxieOS
Operating system structured according to Coquand's "Calculus of Constructions"
hirakana
ひらカナ is a simple Japanese language sentence generator corresponding with the Nakama textbook.
Inspiration-Basic
iBasic code editor using only menus.
K-Scheme
Definition of Scheme semantics in the K Framework: Recovered an original project from 2007 by {Patrick Meredith, Mark Hills, Grigore Rosu}
QBasic-Programs
A collection of random Q-Basic projects that I last created or edited around 2006
TimJSwan89's Repositories
TimJSwan89/FoxieOS
Operating system structured according to Coquand's "Calculus of Constructions"
TimJSwan89/K-Scheme
Definition of Scheme semantics in the K Framework: Recovered an original project from 2007 by {Patrick Meredith, Mark Hills, Grigore Rosu}
TimJSwan89/QBasic-Programs
A collection of random Q-Basic projects that I last created or edited around 2006
TimJSwan89/C-Sorts
Collection of sorting algorithms in C from a great sanfoundry.com article called "C Programming Examples on Searching & Sorting"
TimJSwan89/clj-minecraft
Clojure Bukkit plugin, Minecraft.
TimJSwan89/crayon
Crayon Programming Language
TimJSwan89/euler-offline
Project Euler problems in text file for offline use
TimJSwan89/hirakana
ひらカナ is a simple Japanese language sentence generator corresponding with the Nakama textbook.
TimJSwan89/Inspiration-Basic
iBasic code editor using only menus.
TimJSwan89/Java-Programs
Java programs that I made from around 2007 and 2008
TimJSwan89/k
The K tools
TimJSwan89/Models-Of-Computation-Class
This is a class that I created and taught at UIUC to high schoolers for SAIL @ Illinois
TimJSwan89/SpockBot
High level Python framework for building Minecraft clients and bots.
TimJSwan89/write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)