17 search results for "author:"François Pottier""
Showing 1 - 17
-
Facilities for enumerating and sampling algebraic data types, using Zarith for big numbers20220407MITUsed by 0 other packages07 Apr 2022
-
Facilities for enumerating and sampling algebraic data types20220407MITUsed by 2 other packages07 Apr 2022
-
Facilities for enumerating and sampling algebraic data types, using Num for big numbers20220407MITUsed by 0 other packages07 Apr 2022
-
Algorithmic building blocks for memoization, recursion, and more20230505LGPL-2.0-onlyUsed by 10 other packages16 May 2023
-
Automatic generation of files headers1.08LGPL-2.0-onlyUsed by 1 other packages16 May 2024
-
A library for constraint-based Hindley-Milner type inference20220603MITUsed by 0 other packages03 Jun 2022
-
An LR(1) parser generator20231231GPL-2.0-onlyUsed by 167 other packages06 Jan 2024
-
Runtime support library for parsers generated by Menhir20231231LGPL-2.0-only with OCaml-LGPL-linking-exceptionUsed by 1 other packages06 Jan 2024
-
Runtime support library for parsers generated by Menhir20231231LGPL-2.0-only with OCaml-LGPL-linking-exceptionUsed by 20 other packages06 Jan 2024
-
Compile-time library for auxiliary tools related to Menhir20231231LGPL-2.0-only with OCaml-LGPL-linking-exceptionUsed by 9 other packages06 Jan 2024
-
A framework for testing a library using afl-fuzz20230604LGPL-3.0-or-laterUsed by 5 other packages04 Jun 2023
-
An order maintenance data structure20240106LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages10 Jan 2024
-
A pretty-printing combinator library and rendering engine20230830LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 18 other packages01 Sep 2023
-
An efficient implementation of ephemeral and persistent sequences20201012LGPL-3.0-or-laterUsed by 0 other packages27 May 2021
-
Implementations of the union-find data structure20220122LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 3 other packages22 Jan 2022
-
An OCaml syntax extension for generating visitor classes20210608LGPL-2.1-onlyUsed by 12 other packages09 Jun 2021
-
VOCaL -- The Verified OCaml Library0.1MITUsed by 0 other packages25 Dec 2018