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

Showing 1 - 16
  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.
    3.0.1
    MIT
    Used by 13 other packages
    18 Dec 2025
  2. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  3. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  4. 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.
    3.0.1
    MIT
    Used by 19 other packages
    18 Dec 2025
  5. 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.
    3.0.1
    MIT
    Used by 1 other packages
    18 Dec 2025
  6. 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.
    3.0.1
    MIT
    Used by 10 other packages
    18 Dec 2025
  7. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  8. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  9. 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.
    3.0.1
    MIT
    Used by 0 other packages
    18 Dec 2025
  10. 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.
    3.0.1
    MIT
    Used by 2 other packages
    18 Dec 2025
  11. elpi
    Documentation
    ELPI - Embeddable λProlog Interpreter
    Claudio Sacerdoti Coen Enrico Tassi
    3.6.1
    LGPL-2.1-or-later
    Used by 1 other packages
    03 Mar 2026
  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

    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
  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