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

Showing 1 - 20
  1. baby
    Documentation
    Fast sets based on balanced binary search trees
    François Pottier
    20240619
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    23 Jun 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. 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
  7. hector
    Documentation
    Vectors (dynamic arrays)
    François Pottier
    20240805
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    06 Aug 2024
  8. 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
  9. 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 173 other packages
    16 Jul 2024
  10. 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
  11. 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
  12. 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 21 other packages
    16 Jul 2024
  13. 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 9 other packages
    16 Jul 2024
  14. monolith
    Documentation
    A framework for testing a library using afl-fuzz
    François Pottier <francois.pottier@inria.fr>
    20230604
    LGPL-3.0-or-later
    Used by 8 other packages
    04 Jun 2023
  15. 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
  16. 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 18 other packages
    01 Sep 2023
  17. 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
  18. 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
  19. 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
  20. 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