Widelands is a free, open source real-time strategy game with singleplayer campaigns and a multiplayer mode. The game was inspired by Settlers II™ (© Bluebyte) but has significantly more variety an…

Darwin system built with Nix

Linked-Intent Development - a SDD methodology for agentic coding

CLI for managing personal contacts. Can be agent-driven. Uses CardDAV (apple/fastmail contacts). Your AI agent (or you) checks who you're overdue to contact, preps context for meetings, and logs in…

Unified Schema-Based Information Extraction

A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

The repository provides code for running inference and finetuning with the Meta Segment Anything Model 3 (SAM 3), links for downloading the trained model checkpoints, and example notebooks that sho…

[CVPR 2025 Best Paper Award] VGGT: Visual Geometry Grounded Transformer

A library for human kinematic motion and numerical optimization solvers to apply human motion

Embedding Atlas is a tool that provides interactive visualizations for large embeddings. It allows you to visualize, cross-filter, and search embeddings and metadata.

iNTERCEPT, a free and open-source platform that unites the best signal intelligence tools into a single, accessible interface.

Worldwide building footprints derived from satellite imagery

A self-organizing file system with llama 3

Kani Rust Verifier

Performance centered DSPy rewrite to(not port) Rust

Rust porting of "Fusion" - sensor fusion library for Inertial Measurement Units (IMUs)

DSE: a generic dynamic symbolic execution engine

Some modules/macros/screensets for my Mach4 ATC setup

CQ-CAM aims to become a free, parametric CAM solution for 3-axis CNC mills closely integrating with CadQuery.

k: Kinematics Library for rust-lang

Random scripts and other bits for interacting with the SpaceX Starlink user terminal hardware

A highly modular Bitcoin Lightning library written in Rust. It's rust-lightning, not Rusty's Lightning!

Cauchy Caterpillar : O(N^2) Short-Window Streaming Erasure Code

Minisketch: an optimized library for BCH-based set reconciliation

Efficient and Precise Pointer-Tracking Data-Flow Framework