28 search results for "author:"francois.pottier@inria.fr""
Showing 1 - 28
-
Parser for the ATD data format description language2.16.0MITUsed by 13 other packages27 Jan 2025
-
C++ code generation for ATD APIs2.16.0MITUsed by 0 other packages27 Jan 2025
-
DLang code generation for ATD APIs2.16.0MITUsed by 0 other packages27 Jan 2025
-
Generates efficient JSON serializers, deserializers and validators2.16.0MITUsed by 15 other packages27 Jan 2025
-
Runtime for atdgen generated Melange converters2.16.0MITUsed by 1 other packages27 Jan 2025
-
Runtime library for code generated by atdgen2.16.0MITUsed by 8 other packages27 Jan 2025
-
Java code generation for ATD2.16.0MITUsed by 0 other packages27 Jan 2025
-
Python/mypy code generation for ATD APIs2.16.0MITUsed by 0 other packages27 Jan 2025
-
ATD Code generator for Scala2.16.0MITUsed by 0 other packages27 Jan 2025
-
TypeScript code generation for ATD APIs2.16.0MITUsed by 1 other packages27 Jan 2025
-
Fast sets based on balanced binary search trees20241204LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages05 Dec 2024
-
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
-
A union-find data structure inside a vector20241210LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 0 other packages11 Dec 2024
-
Vectors (dynamic arrays)20241208LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages08 Dec 2024
-
A library for constraint-based Hindley-Milner type inference20220603MITUsed by 0 other packages03 Jun 2022
-
An LR(1) parser generator20240715GPL-2.0-onlyUsed by 164 other packages16 Jul 2024
-
Adds Menhir to ocaml-secondary-compiler20231231LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages05 Sep 2024
-
Runtime support library for parsers generated by Menhir20240715LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 1 other packages16 Jul 2024
-
Runtime support library for parsers generated by Menhir20240715LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 27 other packages16 Jul 2024
-
Compile-time library for auxiliary tools related to Menhir20240715LGPL-2.0-only WITH OCaml-LGPL-linking-exceptionUsed by 12 other packages16 Jul 2024
-
A framework for strong random testing of OCaml libraries20250314LGPL-3.0-or-laterUsed by 9 other packages17 Mar 2025
-
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 classes20250212LGPL-2.1-onlyUsed by 9 other packages13 Feb 2025