Fossy
fossy
Back to home·All projects
Keyword Tag

verified-software

Curated open-source repositories matching the tag/keyword "verified-software".

1 project found
verified-3d-mesh-intersection
verified-3d-mesh-intersection
schildep/verified-3d-mesh-intersection
Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code
74stars2forksLean
MIT
computational-geometry
constructive-solid-geometry
formal-methods
formal-verification

Sponsored

Ad space
300 × 250 (IAB)
SponsorSponsorSponsorSponsor
Ad space
300 × 250 (IAB)
Ad space
300 × 250 (IAB)