255 search results for "tag:"date:""
Showing 251 - 255
-
rocq-ollibs
No documentation
OL libraries2.1.1LGPL-3.0-or-laterUsed by 0 other packages12 Nov 2025 -
rocq-parseque
No documentation
Total parser combinators in Rocq/Coq0.3.0MITUsed by 0 other packages27 Jun 2025 -
rocq-pi-agm
No documentation
Computing thousands or millions of digits of PI with arithmetic-geometric means1.2.9CECILL-BUsed by 0 other packages14 Aug 2025 -
rocq-vellvm
No documentation
Rocq library implementing (executable) semantics for LLVM IRv2.2.20250710GPL-3.0-or-laterUsed by 0 other packages18 Jul 2025 -
rocq-yalla
No documentation
Yalla library2.0.7LGPL-3.0-or-laterUsed by 0 other packages27 Mar 2025