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

Showing 1 - 34
  1. atd
    Documentation
    Parser for the ATD data format description language
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 13 other packages
    Added to opam-repository
  2. atd-jsonlike
    Documentation
    Generic JSON-like AST for use with ATD code generators
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  3. atd-yamlx
    Documentation
    YAML-to-jsonlike bridge for use with ATD code generators
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  4. atdcpp
    Documentation
    C++ code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  5. atdd
    Documentation
    DLang code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  6. atdgen
    Documentation
    Generates efficient JSON serializers, deserializers and validators
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 19 other packages
    Added to opam-repository
  7. atdgen-codec-runtime
    Documentation
    Runtime for atdgen generated Melange converters
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  8. atdgen-runtime
    Documentation
    Runtime library for code generated by atdgen
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 12 other packages
    Added to opam-repository
  9. atdj
    Documentation
    Java code generation for ATD
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  10. atdml
    Documentation
    Simplified OCaml JSON serializers using the Yojson AST
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 1 other packages
    Added to opam-repository
  11. atdpy
    Documentation
    Python/mypy code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  12. atds
    Documentation
    ATD Code generator for Scala
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 0 other packages
    Added to opam-repository
  13. atdts
    Documentation
    TypeScript code generation for ATD APIs
    Martin Jambon <martin@mjambon.com> Martin Jambon <martin@r2c.dev> Rudi Grinberg <rudi.grinberg@gmail.com> Martin Jambon <github@mjambon.com> Alexandre Bourquelot <alexandre.bourquelot@ahrefs.com> et al.
    4.2.0
    BSD-3-Clause
    Used by 2 other packages
    Added to opam-repository
  14. baby
    Documentation
    Fast sets and maps based on balanced binary search trees
    François Pottier <francois.pottier@inria.fr>
    20260620
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  15. 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
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. fix
    Documentation
    Algorithmic building blocks for memoization, recursion, and more
    François Pottier <francois.pottier@inria.fr>
    20250919
    LGPL-2.0-only
    Used by 12 other packages
    Added to opam-repository
  19. 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
    Added to opam-repository
  20. hector
    Documentation
    Vectors (dynamic arrays)
    François Pottier <francois.pottier@inria.fr>
    20241208
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    Added to opam-repository
  21. 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
    Added to opam-repository
  22. intPQueue
    Documentation
    A fast and compact priority queue with low integer priorities
    François Pottier <francois.pottier@inria.fr>
    20250925
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  23. kot
    Documentation
    Persistent catenable deques
    François Pottier <francois.pottier@inria.fr> Juliette Ponsonnet <juliette.ponsonnet@ens-lyon.fr>
    20251212
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 0 other packages
    Added to opam-repository
  24. menhir
    Documentation
    An LR(1) parser generator
    François Pottier <francois.pottier@inria.fr> Yann Régis-Gianas <yrg@pps.univ-paris-diderot.fr>
    20260209
    GPL-2.0-only
    Used by 173 other packages
    Added to opam-repository
  25. menhir-secondary

    No 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
    Added to opam-repository
  26. menhirCST
    Documentation
    Runtime support library for unparsers generated by Menhir
    François Pottier <francois.pottier@inria.fr>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  27. menhirGLR
    Documentation
    Runtime support library for GLR parsers generated by Menhir
    François Pottier <francois.pottier@inria.fr>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 1 other packages
    Added to opam-repository
  28. 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>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 29 other packages
    Added to opam-repository
  29. 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>
    20260209
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 15 other packages
    Added to opam-repository
  30. monolith
    Documentation
    A framework for strong random testing of OCaml libraries
    François Pottier <francois.pottier@inria.fr>
    20250922
    LGPL-3.0-or-later
    Used by 14 other packages
    Added to opam-repository
  31. 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 22 other packages
    Added to opam-repository
  32. 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>
    20260619
    LGPL-3.0-or-later
    Used by 0 other packages
    Added to opam-repository
  33. unionFind
    Documentation
    Implementations of the union-find data structure
    François Pottier <francois.pottier@inria.fr>
    20260226
    LGPL-2.0-only WITH OCaml-LGPL-linking-exception
    Used by 5 other packages
    Added to opam-repository
  34. visitors
    Documentation
    An OCaml syntax extension for generating visitor classes
    François Pottier <francois.pottier@inria.fr>
    20260520
    LGPL-2.1-only WITH OCaml-LGPL-linking-exception
    Used by 10 other packages
    Added to opam-repository