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

Small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface.

Fast state-of-the-art image and video segmentation in portable C/C++

"Single-image Layer Decomposition for Anime Characters" (SIGGRAPH 2026, Conditionally Accepted)

A SDL roguelike in a non-euclidean world

The hypermedia framework.

One zig to rule them all.

minimal cross-platform standalone C headers

ebpf-go is a pure-Go library to read, modify and load eBPF programs and attach them to various hooks in the Linux kernel.

Vulkan binding generator for Zig

kb single-header C/C++ libraries

The financial transactions database designed for mission critical safety and performance.

Weighs the soul of incoming HTTP requests to stop AI crawlers

Code for the lean4beginners youtube series.

A high-throughput parser for the Zig programming language.

Supplanting matrices with PGA in a forward 3D renderer.

Zig library for reading and writing different image formats

Techniques and numbers for estimating system's performance from first-principles

a git alternative written in zig

Stockfish Built with Zig

flat assembler 1 - reconstructed source history

👻 Ghostty is a fast, feature-rich, and cross-platform terminal emulator that uses platform-native UI and GPU acceleration.

A Modern C11 compiler (STILL EARLY)

A 2d game engine written in C

Download and manage zig compilers.

Automatically remove unused imports and globals from Zig files.

An infinite-canvas paint program

Lean 4 programming language and theorem prover