Incremental Query Computation

Interface with complex data via graph mapping.

language-agnostic program reducer.

web app that visualizes CNC G-code on a live camera feed

Electrical design, firmware and Python library for a low noise high resolution wide bandwidth Linear CCD and Teensy 4 (MCU) implementation with trigger, gate, and sync.

Go library for Computer Aided Design

Computational Geometry library written in Rust

OpenCASCADE GUI Viewer/Editor

Add-in for creating snap geometries in Autodesk Fusion

Software for using a spindle camera on a CNC or milling machine

DIY Powered Air-Purifying Respirator (PAPR) for Woodworking & Welding

DSLCad is a programming language & interpreter for building 3D models.

Multi-modal constructive solid geometry kernel in Rust

Recent symbolic execution papers and tools.

State-of-the-art nesting for 2D irregular strip packing

A webassembly wrapper for FreeCAD's 2D geometric solver.

Audio Transcription using whisper.cpp

run a command at a particular time

Port of apenwarr's redo to Rust

S-Curve trajectory generator written in rust

A 3dprinter/cnc firmware framework powered by rust embassy

C++ library implementing the Signed Heat Method for computing robust signed distance fields (SDFs) to triangle meshes, polygon meshes, and point clouds in 3D.

A CAD viewer capable of displaying OCP models (CadQuery/Build123d) in a web browser.

G-code generator for 3D printers (Bambu, Prusa, Voron, VzBot, RatRig, Creality, etc.)

Rust bindings to the OpenCascade CAD Kernel

CAD modeling for Jupyter

Taking Keyboards to the Final Frontier

Manifold (3D) wrapper for Clojure

mjpeg stream access for Bambu P1 printers

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.