22 search results for "author:"François Pottier""

Showing 1 - 22
  1. baby
    Documentation
    Fast sets based on balanced binary search trees
    François Pottier <francois.pottier@inria.fr>
    20241204
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    05 Dec 2024
  2. feat
    Documentation
    Facilities for enumerating and sampling algebraic data types, using Zarith for big numbers
    François Pottier <francois.pottier@inria.fr>
    20220407
    MIT
    Used by 0 other packages
    07 Apr 2022
  3. feat-core
    Documentation
    Facilities for enumerating and sampling algebraic data types
    François Pottier <francois.pottier@inria.fr>
    20220407
    MIT
    Used by 2 other packages
    07 Apr 2022
  4. feat-num
    Documentation
    Facilities for enumerating and sampling algebraic data types, using Num for big numbers
    François Pottier <francois.pottier@inria.fr>
    20220407
    MIT
    Used by 0 other packages
    07 Apr 2022
  5. fix
    Documentation
    Algorithmic building blocks for memoization, recursion, and more
    François Pottier <francois.pottier@inria.fr>
    20230505
    LGPL-2.0-only
    Used by 10 other packages
    16 May 2023
  6. flatunionfind
    Documentation
    A union-find data structure inside a vector
    François Pottier <francois.pottier@inria.fr>
    20241210
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    11 Dec 2024
  7. hachis
    Documentation
    Hash sets and hash maps
    François Pottier
    20240918
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    19 Sep 2024
  8. headache
    Documentation
    Automatic generation of files headers
    Vincent Simonet Patrick Baudin Mehdi Dogguy André Maroneze François Pottier et al.
    1.08
    LGPL-2.0-only
    Used by 1 other packages
    16 May 2024
  9. hector
    Documentation
    Vectors (dynamic arrays)
    François Pottier <francois.pottier@inria.fr>
    20241208
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    08 Dec 2024
  10. inferno
    Documentation
    A library for constraint-based Hindley-Milner type inference
    François Pottier <francois.pottier@inria.fr> Olivier Martinot <olivier.martinot@inria.fr> Gabriel Scherer
    20220603
    MIT
    Used by 0 other packages
    03 Jun 2022
  11. menhir
    Documentation
    An LR(1) parser generator
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20240715
    GPL-2.0-only
    Used by 179 other packages
    16 Jul 2024
  12. menhir-secondary
    Documentation
    Adds Menhir to ocaml-secondary-compiler
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20231231
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    05 Sep 2024
  13. menhirCST
    Documentation
    Runtime support library for parsers generated by Menhir
    François Pottier <francois.pottier@inria.fr>
    20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    16 Jul 2024
  14. menhirLib
    Documentation
    Runtime support library for parsers generated by Menhir
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 22 other packages
    16 Jul 2024
  15. menhirSdk
    Documentation
    Compile-time library for auxiliary tools related to Menhir
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20240715
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    16 Jul 2024
  16. monolith
    Documentation
    A framework for strong random testing of OCaml libraries
    François Pottier <francois.pottier@inria.fr>
    20241126
    LGPL-3.0-or-later
    Used by 9 other packages
    28 Nov 2024
  17. oma
    Documentation
    An order maintenance data structure
    Frédéric Bour François Pottier
    20240619
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    19 Jun 2024
  18. pprint
    Documentation
    A pretty-printing combinator library and rendering engine
    François Pottier <francois.pottier@inria.fr> Nicolas Pouillard <np@nicolaspouillard.fr>
    20230830
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 19 other packages
    01 Sep 2023
  19. sek
    Documentation
    An efficient implementation of ephemeral and persistent sequences
    Arthur Charguéraud <arthur.chargueraud@inria.fr> Émilie Guermeur <then at Inria> François Pottier <francois.pottier@inria.fr>
    20201012
    LGPL-3.0-or-later
    Used by 0 other packages
    27 May 2021
  20. unionFind
    Documentation
    Implementations of the union-find data structure
    François Pottier <francois.pottier@inria.fr>
    20220122
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 3 other packages
    22 Jan 2022
  21. visitors
    Documentation
    An OCaml syntax extension for generating visitor classes
    François Pottier <francois.pottier@inria.fr>
    20210608
    LGPL-2.1-only
    Used by 12 other packages
    09 Jun 2021
  22. vocal
    Documentation
    VOCaL -- The Verified OCaml Library
    Arthur Charguéraud Martin Clochard Jean-Christophe Filliâtre Léon Gondelman Armaël Guéneau et al.
    0.1
    MIT
    Used by 0 other packages
    25 Dec 2018