loop_invariants_geometry

Computational geometry algorithms with loop-invariant explanations

algorithms
geometry
computational-geometry
loop-invariants
moon add bobzhang/loop_invariants_geometry@0.13.0
Download zip
Author
Version
0.13.0
License
Apache-2.0
Last updated
2 months ago
Downloads
48
README

#Geometry Algorithms

This module contains computational geometry packages, including convex hull, closest pair, line segment intersection, point-in-polygon, polygon triangulation, half-plane intersection, rotating calipers, and line sweep.

Packages are organized as one algorithm per directory. Each package contains a README.mbt.md tutorial with examples that are checked by moon test.

Run from the workspace root:

moon check moon test moon info moon fmt

Powered by MoonBit

Site sourceReport issuePackagesBuild queueSkillsStatistics

© 2026 mooncakes.io