21 search results for "author:"francois.pottier@inria.fr""

Showing 1 - 21
  1. atd
    Documentation
    Parser for the ATD data format description language
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 12 other packages
    30 Oct 2023
  2. atdd
    Documentation
    DLang code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 0 other packages
    30 Oct 2023
  3. atdgen
    Documentation
    Generates efficient JSON serializers, deserializers and validators
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 27 other packages
    30 Oct 2023
  4. atdgen-codec-runtime
    Documentation
    Runtime for atdgen generated bucklescript converters
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 1 other packages
    30 Oct 2023
  5. atdgen-runtime
    Documentation
    Runtime library for code generated by atdgen
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 5 other packages
    30 Oct 2023
  6. atdpy
    Documentation
    Python/mypy code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 0 other packages
    30 Oct 2023
  7. atds
    Documentation
    ATD Code generator for Scala
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 0 other packages
    30 Oct 2023
  8. atdts
    Documentation
    TypeScript code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <martin@r2c.dev> Martin Jambon <github@mjambon.com> Ivan Jager <aij+git@mrph.org> et al.
    2.15.0
    MIT
    Used by 1 other packages
    30 Oct 2023
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. menhir
    Documentation
    An LR(1) parser generator
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20230608
    GPL-2.0-only
    Used by 162 other packages
    14 Jun 2023
  15. 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>
    20230608
    LGPL-2.0-only with OCaml-LGPL-linking-exception
    Used by 20 other packages
    14 Jun 2023
  16. 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>
    20230608
    LGPL-2.0-only with OCaml-LGPL-linking-exception
    Used by 9 other packages
    14 Jun 2023
  17. 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 5 other packages
    04 Jun 2023
  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 18 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