-
DOSRE Public
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.
-
-
cdogs-sdl-cpp_ Public
Forked from cxong/cdogs-sdlClassic overhead run-and-gun game ported to C++
C GNU General Public License v2.0 UpdatedDec 25, 2025 -
ProofPy Public
Proof based programming language made exclusively for agentic coding
-
Lean4-Pacman Public
Forked from thirumuruganra/PACMAN-using-C-and-RAYLIBA Lean 4 port of thirumuruganra's version of Pacman
C BSD 3-Clause "New" or "Revised" License UpdatedMar 20, 2025 -
cdogs-sdl-cpp Public
Forked from lmartinking/cdogs-sdlC-Dogs SDL ported to C++
C UpdatedOct 14, 2010
{{ message }}