Pinned Repositories
alephone
Aleph One is the open source continuation of Bungie’s Marathon 2 game engine.
alephone-psp
Port of Aleph One to PSP by toxicsham.
alephone-wii
AlephWOne, Port of Aleph One to Wii by Mathieu Deletrain
atom
:atom: The hackable text editor
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
gno
GNO is the UNIX-like environment for the Apple IIgs
kobi-prime's Repositories
kobi-prime/alephone
Aleph One is the open source continuation of Bungie’s Marathon 2 game engine.
kobi-prime/alephone-psp
Port of Aleph One to PSP by toxicsham.
kobi-prime/alephone-wii
AlephWOne, Port of Aleph One to Wii by Mathieu Deletrain
kobi-prime/atom
:atom: The hackable text editor
kobi-prime/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.
kobi-prime/data-marathon
Bungie Studios' Marathon game files, for use with Aleph One.
kobi-prime/data-marathon-2
Bungie Studios' Marathon 2 game files, for use with Aleph One.
kobi-prime/data-marathon-infinity
Bungie Studios' Marathon Infinity game files, for use with Aleph One.
kobi-prime/devilution
Diablo devolved - magic behind the 1996 computer game
kobi-prime/gno
GNO is the UNIX-like environment for the Apple IIgs
kobi-prime/mac-frameworks
Scripts to build the frameworks bundled with Mac OS X binary releases of Aleph One.
kobi-prime/PyniteFields
A class library for operations on finite fields (a.k.a. Galois fields) which I find useful in my line of work.
kobi-prime/SortingVisualizer
Program to visualize, audiolize, profile, approximate runtimes for, and anything else related to sorting algorithms