A small collection of formally verified junk theorems provable in Lean4 + Mathlib.

CV/resume generator for academics and engineers, YAML to PDF

OrthoRoute: A GPU-accelerated PCB autorouter for KiCad

LightGlue: Local Feature Matching at Light Speed (ICCV 2023)

A new register allocator

A tiny CPU simulator written in Python

Rust bindings for NVIDIA Video Codec SDK

Efficient, lock-free, bounded Rust broadcast channel

Kleopatra4Mac is an all-in-one prebuilt port of KDE's GPG utility for use on MacOS.

General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.

A metrics ecosystem for Rust.

A library for generating chrome://tracing traces in Rust.

Dead simple pool implementation for rust with async-await

An API documentation library

Generate JSON Schema documents from Rust code

🐚 A powerful relational ORM for Rust

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

Rust bindings for Aravis, a vision library for genicam based cameras

A safe, fast, and flexible library for GenICam compatible cameras

Safe rust wrapper around CUDA toolkit

Nightly release of ControlNet 1.1

A multiprocess drop-in replacement for Rust channels

Lightweight stream-based WebSocket implementation for Rust.

Flux Fill 1.0 GO: flux Inpainting and outpainting starting with 8Gb of VRAM

Wrap a standalone FFmpeg binary in an intuitive Iterator interface. 🏍