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

Showing 1 - 16
  1. atd

    No 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.
    3.0.1
    MIT
    Used by 13 other packages
    18 Dec 2025
  2. atdcpp

    No 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  3. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  4. 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.
    3.0.1
    MIT
    Used by 19 other packages
    18 Dec 2025
  5. 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.
    3.0.1
    MIT
    Used by 1 other packages
    18 Dec 2025
  6. 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.
    3.0.1
    MIT
    Used by 10 other packages
    18 Dec 2025
  7. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  8. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  9. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  10. 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.
    3.0.1
    MIT
    Used by 1 other packages
    18 Dec 2025
  11. elpi

    No documentation

    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    3.4.5
    LGPL-2.1-or-later
    Used by 1 other packages
    12 Dec 2025
  12. 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
  13. matita
    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
  14. sel
    Documentation
    Simple Event Library
    event input output
    Enrico Tassi
    0.8.0
    MIT
    Used by 2 other packages
    03 Dec 2025
  15. vscoq-language-server
    Documentation
    Compatibility meta package for the VsRocq language server after the Rocq renaming
    Enrico Tassi Maxime Dénès Romain Tetley
    2.3.4
    MIT
    Used by 0 other packages
    01 Dec 2025
  16. vsrocq-language-server
    Documentation
    VSRocq language server
    Enrico Tassi Maxime Dénès Romain Tetley
    2.3.4
    MIT
    Used by 1 other packages
    01 Dec 2025