Show HN: Keel, a B-rep solid modeling kernel in Rust (decline, never wrong)

Category: library

Tags: b-rep, solid-modeling, rust

Score: 7.0/10 (Innovation: 7, Technical: 9, Documentation: 7, Utility: 5)

Keel is an open-source B-rep solid modeling kernel written in Rust that prioritizes correctness over performance, enforcing an 'decline, never wrong' contract where operations either produce a topologically verified result or refuse, but never output an incorrect result. Its use of exact combinatorial topology decisions with explicit error contracts and large-scale randomized oracle testing is a novel approach for an open-source kernel, addressing a known gap in robust solid modeling.

Target audience: cad developers, computational geometry researchers, backend devs

Repository: https://github.com/redwoodrhetorica/keel · Rust · NOASSERTION

View on Hacker News