Pinned Loading

1. clothoid-halley-coqclothoid-halley-coqPublic

   Halley iteration for clothoid fitting with Coq formalization of derivative identities

   Rocq Prover 2

2. NetTopologySuite.ProofsNetTopologySuite.ProofsPublic

   Mechanically-verified Rocq/Coq proofs of foundational properties used by NetTopologySuite. Companion project — not a verified implementation, but every theorem ends with Qed.

   Rocq Prover 2

3. allure3allure3Public

   Forked from allure-framework/allure3

   Allure Report is a flexible multi-language test report tool to show you a detailed representation of what has been tested and extract maximum from the everyday execution of tests

   TypeScript

4. antlr4antlr4Public

   Forked from antlr/antlr4

   ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

   Java

5. jtsjtsPublic

   Forked from locationtech/jts

   The JTS Topology Suite is a Java library for creating and manipulating vector geometry.

   Java

6. NetTopologySuite/NetTopologySuite.CurveNetTopologySuite/NetTopologySuite.CurvePublic

   Enhancement for NetToplogySuite that handles Curved geometries

   C# 3 5