loop_invariants_geometry

    Computational geometry algorithms with loop-invariant explanations

    algorithms
    geometry
    computational-geometry
    loop-invariants
    Download zip
    Author
    Version
    0.13.1
    License
    Apache-2.0
    Last updated
    10 days ago
    Downloads
    60

    #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