a language for making art using mathematics

Open-source, local-first 3D parametric CAD that runs in the browser for people and permissioned typed agents, powered by OpenCascade WASM.

Haskell Bindings for the OpenCASCADE CAD Kernel + A Declarative CAD/Solid Modeling Library

An agent-native CAD SDK for language models to create, inspect, and reconstruct complex, editable 3D models.

Web CAD library with exact B-Rep geometry

HexBox is an intuitive modeling method and interactive tool for creating and editing hexahedral meshes. Hexbox brings the major and widely validated surface modeling paradigm of surface box modeling into the world of hex meshing.

Offline single-file 3D CAD — Manifold WASM CSG / Three.js

Software Defined Solid Modeling

OpenCascade (OCCT) compiled to WebAssembly — clean TypeScript API, ~4MB brotli, arena-based memory, structured errors, Web Worker support

Designed a mechanical shaft and support component using CAD software with precise dimensions and geometric features. The project focuses on practical application of mechanical design principles, including stepped shafts, fillets, diameter transitions, and manufacturability considerations.

B-Rep modeling engine for brepjs — pure Rust, compiled to WebAssembly

rGWB: A basic solid modeler for Polyhedral 2-Manifold solids. Split, explode and boolean operations supported.

Vector Field Based Volume Peeling for Multi-Axis Machining (Planning method for CNC Milling)

Python 3 wrapper module for 3D ACIS Modeler

OpenCASCADE wrappers for Lisp

A fast, precise, GPU-accelerated CSG modeler with OpenSCAD-compatible syntax. Built with C++20, Vulkan, and Manifold.

3D model of the IGVC vehicle using SolidWorks

B-rep solid modeling kernel in Rust: exact topology over tolerant geometry, with a decline-never-wrong contract.

Topography-based 3D modeling using CAD + python scripting tools

Agent-native geometry kernel: a Rust B-Rep engine where every operation returns a validity certificate — nine structural invariants, computed under the write lock, failing closed. Outside its verified envelope it refuses with a typed error rather than approximating. The kernel cannot lie.