Ongoing Lean formalisation of the proof of Fermat's Last Theorem

The math library of Lean 4

L-Functions and Modular Forms Database

A performant NumPy extension for Galois fields and their applications

WDF makes it easy to write high-quality Windows drivers

Simple windows local service example with events log

Slotmap data structure for Rust

Rust libublk

Map data structure whose keys are stored as ranges

A pure rust GPT header/partition table library

🏩 Cascading grid layout plugin

Efficient strassen matrix multiplication

Rust high performance xml reader and writer

Work in progress Wiki for modding Monster Hunter Rise.

Type checked JSX for Rust

Type definitions, parsing, and analysis for the minidump file format.

Scripting platform, modding framework and VR support for all RE Engine games

010 Editor Binary Template for editing RE Engine game files

Empowering everyone to build reliable and efficient software.

A community-maintained Python framework for creating mathematical animations.

Animation engine for explanatory math videos

Safe wrapper for initializing arrays

Information from Microsoft about the PDB format. We'll try to keep this up to date. Just trying to help the CLANG/LLVM community get onto Windows.

Turn your favourite regex into FAT32

A unified interface for reading and writing object file formats

A library for reading and writing the DWARF debugging format

Magical ELF and Mach-o object file writer backend