Popular repositories Loading

1. K-Scheme K-Scheme Public

   Definition of Scheme semantics in the K Framework: Recovered an original project from 2007 by {Patrick Meredith, Mark Hills, Grigore Rosu}

   Python 2

2. QBasic-Programs QBasic-Programs Public

   A collection of random Q-Basic projects that I last created or edited around 2006

   Visual Basic 1

3. FoxieOS FoxieOS Public

   Operating system structured according to Coquand's "Calculus of Constructions"

   1

4. Java-Programs Java-Programs Public

   Java programs that I made from around 2007 and 2008

   Java

5. Inspiration-Basic Inspiration-Basic Public

   iBasic code editor using only menus.

   Objective-C

6. SpockBot SpockBot Public

   Forked from SpockBotMC/SpockBot

   High level Python framework for building Minecraft clients and bots.

   Python