The development of an open source Prince Of Persia Level editor for PC, a new game engine and complementary tools.
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
Ever wanted to have more pads in notepad without opening it tons of times? Neither have I, but now you can! NoteZone is a new kind of editor - with MDI(Multiple Window UI) and tons of features notepad doesn't have. Plus, it's open source!
Noir is a Protocol/File Specification Format Framework. Noir specification files double as documenation and can be read into the Noir Framework, which will parse,read, and output automatically for you.