Hidden Fluid Mechanics

RoMa: A lightweight library to deal with 3D rotations in PyTorch.

A fast, memory-efficient exact MaxSim kernel for late-interaction retrieval and reranking.

Unofficial Home Assistant integration for interacting with Octopus Energy

Lightweight HTTP proxy for optimizing Nix cache routes for fast access

A fully featured audio DSP firmware for the Raspberry Pi Pico (RP2040) and Pico 2 (RP2350). Official Discord: https://discord.gg/RCyqxAQ5xS

Nixpkgs CUDA infra [maintainer=@GaetanLepage, @SomeoneSerge]

Implementation of Computer Vision Models in JAX (equinox)

An auto-active verifier embedded into Lean

A Blazingly Fast Minimal Serial Monitor with serial plottter TUI and more

esp32 IRC client made with mousefood

Implementation of the Precision Time Protocol (PTP) in Rust

embedded-graphics backend for Ratatui

[NeurIPS 2025] Official repository for "ThermalGen: Style-Disentangled Flow-Based Generative Models for RGB-to-Thermal Image Translation"

router flow monitor

[CVPR 2024] RoMa: Robust Dense Feature Matching; RoMa is the robust dense feature matcher capable of estimating pixel-dense warps and reliable certainties for almost any image pair.

Full typing for Nix based on TypeScript

Specialized deployment tool for NixOS with persistent daemon architecture, integrated infrastructure provisioning (Terraform/Terranix), and TUI management. Forked from Colmena.

[CVPR'25 Oral] MoGe: Unlocking Accurate Monocular Geometry Estimation for Open-Domain Images with Optimal Training Supervision

[CVPR 2025] UniK3D: Universal Camera Monocular 3D Estimation

https://github.com/lucidrains/denoising-diffusion-pytorch nixified

Build compute kernels and load them from the Hub.

[ICLR'26] YoNoSplat: You Only Need One Model for Feedforward 3D Gaussian Splatting

maxGraph is a fully client side JavaScript diagramming library

GeoCalib: Learning Single-image Calibration with Geometric Optimization (ECCV 2024)

An io_uring backed runtime for Rust

A guide to writing a DNS Server from scratch in Rust

Concuerror is a stateless model checking tool for Erlang programs.

Property-based testing for web and terminal UIs