13 search results for "author:"Thierry.Martinez@inria.fr""

Showing 1 - 13
  1. clangml
    Documentation
    OCaml bindings for Clang API
    Thierry Martinez <thierry.martinez@inria.fr>
    4.8.0
    BSD-2-Clause
    Used by 2 other packages
    07 Sep 2022
  2. clangml-transforms
    Documentation
    Code transformers for clangml
    Thierry Martinez <thierry.martinez@inria.fr>
    0.26
    BSD-2-Clause
    Used by 1 other packages
    17 Jul 2020
  3. metapp
    Documentation
    Meta-preprocessor for OCaml
    Thierry Martinez <thierry.martinez@inria.fr>
    0.4.4
    BSD-2-Clause
    Used by 7 other packages
    04 Aug 2022
  4. metaquot
    Documentation
    OCaml syntax extension for quoting code
    Thierry Martinez <thierry.martinez@inria.fr>
    0.6.0
    BSD-2-Clause
    Used by 7 other packages
    12 Aug 2025
  5. ocaml-in-python
    Documentation
    Effortless Python bindings for OCaml modules
    Thierry Martinez <thierry.martinez@inria.fr>
    0.1.0
    BSD-2-Clause
    Used by 0 other packages
    28 Mar 2022
  6. ocamlcodoc
    Documentation
    Extract test code from doc-comments
    Thierry Martinez <thierry.martinez@inria.fr>
    1.0.1
    BSD
    Used by 1 other packages
    01 Oct 2019
  7. override

    No documentation

    PPX extension for overriding modules
    Thierry Martinez <thierry.martinez@inria.fr>
    0.4.0
    BSD-2-Clause
    Used by 1 other packages
    08 Oct 2021
  8. pattern
    Documentation
    Run-time patterns that explain match failures
    Thierry Martinez <thierry.martinez@inria.fr>
    0.3.2
    BSD-2-Clause
    Used by 2 other packages
    15 Dec 2022
  9. ppx_show
    Documentation
    OCaml PPX deriver for deriving show based on ppxlib
    Thierry Martinez <thierry.martinez@inria.fr>
    0.2.1
    BSD-2-Clause
    Used by 6 other packages
    28 Feb 2021
  10. pyast
    Documentation
    Python AST
    Thierry Martinez <thierry.martinez@inria.fr>
    0.2.0
    BSD-2-Clause
    Used by 0 other packages
    25 Oct 2022
  11. redirect
    Documentation
    Redirect channels
    Thierry Martinez <thierry.martinez@inria.fr>
    0.2.1
    BSD-2-Clause
    Used by 2 other packages
    08 Nov 2021
  12. refl

    No documentation

    PPX deriver for reflection
    Thierry Martinez <thierry.martinez@inria.fr>
    0.4.1
    BSD-2-Clause
    Used by 5 other packages
    15 Dec 2022
  13. traverse
    Documentation
    Traversable data structures with applicative functors
    Thierry Martinez <thierry.martinez@inria.fr>
    0.3.0
    BSD-2-Clause
    Used by 2 other packages
    02 Oct 2020