Stars
torarinvik / DOSRE
Forked from mbbsemu/MBBSDASMDOSRE: An x86 Disassembler, Decompiler, and Reconstruction tool for 16-bit DOS / Windows 3.x Segmented Executable (NE) EXE/DLL files, with additional support for DOS MZ and DOS4GW LE formats.
Decompiler Explorer! Compare tools on the forefront of static analysis, now in your web browser!
Sources for the Macintosh game, Glider PRO, written by John Calhoun and published by Casady & Green Inc.
elasota / Aerofoil
Forked from softdorothy/GliderPROMultiplatform desktop/mobile/browser port of Glider PRO, the classic Macintosh paper airplane game
Sources for the Macintosh game, Glider PRO, written by John Calhoun and published by Casady & Green Inc.
Modified source-code for Gremlin Interactive's Euro Soccer '96 / VR Soccer '96 games. This is a restoration effort.
An open-source port of Prince of Persia, based on the disassembly of the DOS version.
The Classic PACMAN game, an exciting venture that combines the classic gameplay of PACMAN with modern programming techniques. Our PACMAN project is a faithful recreation of the classic arcade game.
Proof based programming language made exclusively for agentic coding
Classic Doom2 game from ID software implementation in Nim programming language
Visual Studio Code extension for OCaml
A fast type checker and language server for Python
Fine-tuning & Reinforcement Learning for LLMs. 🦥 Train OpenAI gpt-oss, DeepSeek, Qwen, Llama, Gemma, TTS 2x faster with 70% less VRAM.
Curse of the Catacombs (1993) by Softdisk Publishing
Catacomb II (1991) by Softdisk Publishing
Chocolate Keen is a reverse engineering of Commander Keen in C/C++ and SDL. The goal is to be super accurate versus the original
Aleph One is the open source continuation of Bungie’s Marathon 2 game engine.
Reconstructed source code of the game Duke Nukem II
Create an open source toy dataset for finetuning LLMs with reasoning abilities
Simple, elegant, Pythonic functional programming.