19 search results for "author:"Enrico Tassi""

Showing 1 - 19
  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
    26 Apr 2026
  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
    26 Apr 2026
  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
    26 Apr 2026
  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
    26 Apr 2026
  5. atdd

    No 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
    26 Apr 2026
  6. atdgen

    No 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 17 other packages
    26 Apr 2026
  7. atdgen-codec-runtime

    No 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
    26 Apr 2026
  8. atdgen-runtime

    No 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 10 other packages
    26 Apr 2026
  9. atdj

    No 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
    26 Apr 2026
  10. atdml

    No 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 0 other packages
    26 Apr 2026
  11. atdpy

    No 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
    26 Apr 2026
  12. atds

    No 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
    26 Apr 2026
  13. atdts

    No 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
    26 Apr 2026
  14. elpi

    No documentation

    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    3.7.1
    LGPL-2.1-or-later
    Used by 1 other packages
    24 Apr 2026
  15. elpi-option-legacy-parser

    No documentation

    ELPI - option for legacy parser
    Enrico Tassi
    1
    LGPL-2.1-or-later
    Used by 0 other packages
    19 Apr 2022
  16. matita

    No documentation

    An experimental, interactive theorem prover
    interactive theorem proving calculus of constructions
    HELM Team Andrea Asperti Ferruccio Guidi Luca Padovani Claudio Sacerdoti Coen et al.
    0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  17. sel
    Documentation
    Simple Event Library
    event input output
    Enrico Tassi
    0.8.0
    MIT
    Used by 2 other packages
    03 Dec 2025
  18. vscoq-language-server

    No documentation

    Compatibility meta package for the VsRocq language server after the Rocq renaming
    Enrico Tassi Maxime Dénès Romain Tetley
    2.4.3
    MIT
    Used by 0 other packages
    16 Apr 2026
  19. vsrocq-language-server

    No documentation

    VSRocq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.4.3
    MIT
    Used by 1 other packages
    16 Apr 2026