kernel
The kernel, in numbers.
A boundary-representation kernel written in Rust, compiled to run in your browser and your agent. The dense page, on purpose.
geometry
representationhalf-edge BRep · arena-allocated topology
surfacesplane · cylinder · cone · sphere · torus · NURBS
predicatesShewchuk adaptive-precision exact — orient2d/3d · incircle · insphere
booleans4-stage: AABB broadphase → surface intersection → ray + winding classification → sew & repair
operationsunion · difference · intersection · fillet · chamfer · shell · sweep · loft · revolve · linear/circular pattern · mirror
constraintsLevenberg–Marquardt · 12 constraint types · symbolic Jacobian
unitsf64 millimeters · Z-up, right-handed
exchange
solidsSTEP AP214 in/out · STL · GLB
boardsGerber · KiCad 9 native (.kicad_pcb / .kicad_sch) · Eagle in
flatDXF flat patterns with derived bend allowances
machines2.5D CAM · G-code post · toolpath verification against a stock sim
robotsURDF in · gym interface (reset / step / observe)
renderingtessellation with creased normals · direct BRep ray tracing (WebGPU)
delivery
wasm450 KB brotli for the modeling core these demos run · the full kernel ships in the Mac app and MCP server
differentiabled(mass properties)/d(named parameter) · adjoint through physics rollouts
verificationDFM rule packs per process · clearance assertions · vcad.receipt/1
benchmarkspublished with receipts, or not at all — coming at rev b
the crates
Open source, all the way down.
vcad-kernel-mathvcad-kernel-topovcad-kernel-geomvcad-kernel-primitivesvcad-kernel-booleansvcad-kernel-tessellatevcad-kernel-nurbsvcad-kernel-filletvcad-kernel-sketchvcad-kernel-constraintsvcad-kernel-sweepvcad-kernel-shellvcad-kernel-stepvcad-kernel-draftingvcad-kernel-raytracevcad-kernel-physicsvcad-kernel-camvcad-kernel-stocksimvcad-kernel-urdfvcad-irvcad-receiptvcad-cli