A tiling window manager for macOS based on binary space partitioning

UNIX-like reverse engineering framework and command-line toolset

i3-compatible Wayland compositor

Sioyek is a PDF viewer with a focus on textbooks and research papers

Dive into CPython internals, trying to illustrate every detail of CPython implementation

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

How to write a very simple JIT compiler

Algebraic data types for C99

A VNC server for wlroots based Wayland compositors

A lightweight overlay volume/backlight/progress/anything bar for Wayland.

Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

A tiny programming language that transpiles to C, C++, Java, TypeScript, Python, C#, Swift, Lua and WebAssembly 🚀

Wine-wayland allows playing DX9/DX11 and Vulkan games using pure wayland and Wine/DXVK.

An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluation à la Haskell.

On-screen keyboard for wlroots

Linux kernel for reMarkable 1 & 2. zero-sugar is rM2 and zero-gravitas is rM1.

4store is an efficient, scalable and stable RDF database.

Wayland HTML5 Browser IPC

Mal (Make A Lisp) Compiler in C

[WIP] experimental Chinese wayland Input method (IME)

Experimental tree-sitter parser for the Lean (4) Theorem Prover

A low-level cross-platform FFI module for playing and recording audio for Deno.

OpenSSL bindings for Lean

Examples of asynchronous non-blocking servers on native sockets. With and without multiplexers and with the net-granularity of data(chunks)

C bindings and marshalling to use GLFW and OpenGL from the lean4 theorem prover

A statvfs FFI API for Lean 4