Windows drivers and HAL Extensions for Apple silicon platforms

A messy e-graph implementation

Datalog compiler embedded in Rust as a procedural macro

A TLA+ specification for the Xen vchan protocol

Procedural macro for bitfields.

Portable high-level bitwise manipulation algorithms

Portable Bitwise Manipulation Intrinsics

cargo subcommand showing the assembly or llvm-ir generated for Rust code

Ghidra loader and analyzer for Microware OS-9 memory modules.

A header-only compile-time Morton encoding / decoding library for N dimensions.

Making Fabio Crameri's perceptually uniform colourmaps for geosciences available on PyPI and conda-forge

DNS tunnel for iOS based off of Iodine

A diverse array of heavily refactored versions of Andrey Astrelin's GrailSort.h, aiming to be as readable and intuitive as possible

Fast and stable sort algorithm that uses O(1) memory. Public domain.

SIMD-accelerated things. Just coding exercises.

DYLD CodeQL build scripts

Linux Kernel for Surface Devices

Finding magic factors for bitboard based move generation

Smalltalk via the Unix filesystem!

PyMuPDF is a high performance Python library for data extraction, analysis, conversion & manipulation of PDF (and other) documents.

LLM-driven debugger server – give your AI agents step-through debugging superpowers

Use pymupdf with gmft.

Table Transformer (TATR) is a deep learning model for extracting tables from unstructured documents (PDFs and images). This is also the official repository for the PubTables-1M dataset and GriTS ev…

Lightweight, performant, deep table extraction

A tool to convert PDF libraries into SQLite databases for agentic search