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

🇫🇷 Skills pour agents IA spécialisés dans la bureaucratie française : Comptable, Notaire, ...

R*-tree spatial index for the Rust ecosystem

Import Rust source files directly from Python!

Parse C++ headers and generate Python/C bindings

C++20 port of three.js (r129++)

Trap AI web scrapers in an endless poison pit.

A single CLAUDE.md file to improve Claude Code behavior, derived from Linus Torvalds' observations on coding pitfalls.

An example how to use DataChain and DVC to version data, make project reproducible, track experiments and models

A visual tool for mesh cutting using harmonic field.

Geometry library for topological robustness

A modern, native Bluetooth indicator plugin for the XFCE4 panel. Built with Vala and GTK3, it communicates directly with BlueZ over D-Bus without relying on any external programs.

Fast polygon mesh library with different data structures and traits to abstract over those.

Fast halfedge triangle mesh graph in pure Rust

Halfedge mesh library in Rust

A triangle mesh data structure including basic operations.

Polygonal mesh processing.

[CVPR 2025 Best Paper Nomination] FoundationStereo: Zero-Shot Stereo Matching

[TPAMI'23] Unifying Flow, Stereo and Depth Estimation

Truly independent web browser

Open-source Windows and Office activator featuring HWID, Ohook, TSforge, and Online KMS activation methods, along with advanced troubleshooting.

A censorship circumvention tool to evade detection by authoritarian state adversaries

Desktop client for Matrix using Qt and C++20.

Stream any V4L2 device to VNC clients.

A simple firmware for Raspberry PICO that allows it to act as a mouse and a keyboard.

Code for "Photon catalysis for general multimode multi-photon quantum state preparation" paper

A differentiable bridge between phase space and Fock space

Toolbox for quantum information, nonlocality, and entanglement