Fast nIX language evaluator

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.

Nix flake for OpenAI Codex CLI - native Rust binary, hourly updates, multi-platform caching

A tool to generate STAC catalog, collection and item for 3D city models

The Arazzo Specification - A Tapestry for Deterministic API Workflows

Rust implementation/translation of LAZ (Laszip) compression

Your feedback loop with the agent

Box3D is a 3D physics engine for games

Constrained Delaunay Triangulation (C++)

Validation of 3D primitives according to the international standard ISO19107

RTAB-Map library and standalone application

A high-performance, SIMD-optimized, pure C library for reading and writing Apache Parquet files.

Animation engine for explanatory math videos

The Nix Package Manager

Validation and Automatic Repair of Planar Partitions

Demonstration showing real time effects and application of the "Jump Flood Algorithm"

Review-first terminal diff viewer for agentic coders

A terminal user interface (TUI) for managing SSH tunnels

IP addresses break, dial keys instead. A library that adds QUIC + NAT Traversal to your apps.

a git alternative written in zig

Large scale automatic LoD2.2 building reconstruction

Method to deform an existing inaccurate building outline into a roofprint and a footprint coherent with each other and aligned on an ALS point cloud.

(Still Experimental) DuckDB extension for CityJSON

Tiled scrollable window manager for MacOS

Convert your BibTeX bibliographies into text on the fly 🚀

[ICLR 2025 Oral] NeuralPlane: Structured 3D Reconstruction in Planar Primitives with Neural Fields

An agentic skills framework & software development methodology that works.

Multi-tenant Nix Binary Cache

Renderer for 3D Tiles in Javascript using three.js, Babylon.js, and r3f