Kobi V's repositories
alephone-psp
Port of Aleph One to PSP by toxicsham.
alephone-wii
AlephWOne, Port of Aleph One to Wii by Mathieu Deletrain
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
data-marathon
Bungie Studios' Marathon game files, for use with Aleph One.
data-marathon-2
Bungie Studios' Marathon 2 game files, for use with Aleph One.
data-marathon-infinity
Bungie Studios' Marathon Infinity game files, for use with Aleph One.
devilution
Diablo devolved - magic behind the 1996 computer game
mac-frameworks
Scripts to build the frameworks bundled with Mac OS X binary releases of Aleph One.
PyniteFields
A class library for operations on finite fields (a.k.a. Galois fields) which I find useful in my line of work.
SortingVisualizer
Program to visualize, audiolize, profile, approximate runtimes for, and anything else related to sorting algorithms