MushyBookMushyBook
CollectionsComparePlaySystem DesignContact
All topics

constructive-solid-geometry

Projects tagged with constructive-solid-geometry on GitHub.

1 project

verified-3d-mesh-intersection logo

verified-3d-mesh-intersection

Lean
73

Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code

101+10Jan 21, 1970
MushyBookMushyBook

Open source, explained. Evaluate projects in under a minute.

[email protected]

Discover

  • Search
  • Trending
  • Rising fast
  • Collections
  • Categories
  • Languages
  • Topics
  • Compare
  • Board games
  • System Design

Company

  • About
  • Methodology
  • Suggest a repo
  • Contact

Legal

  • Privacy
  • Terms

© 2026 MushyBook. Catalog data sourced from GitHub and community submissions.