A portable microkernel-based multiserver operating system written from scratch.

Veecle Operating System for system development.

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Learning operating system development using Linux kernel and Raspberry Pi

Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

Decompilation of Sly Cooper and the Thievius Raccoonus for PS2

Quake engine mod targeted for speedrunning

Diablo 1 Graphics Tool

Ghidra is a software reverse engineering (SRE) framework

Diablo build for modern operating systems

The Serenity Operating System 🐞

A book-in-progress about the Linux kernel and its insides.