Pinned Loading

1. clothoid-halley-coq clothoid-halley-coq Public

   Halley iteration for clothoid fitting with Coq formalization of derivative identities

   Rocq Prover 2

2. NetTopologySuite.Proofs NetTopologySuite.Proofs Public

   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 3

3. allure3 allure3 Public

   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. antlr4 antlr4 Public

   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. jts jts Public

   Forked from locationtech/jts

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

   Java

6. NetTopologySuite/NetTopologySuite.Curve NetTopologySuite/NetTopologySuite.Curve Public

   Enhancement for NetToplogySuite that handles Curved geometries

   C# 3 5