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

Showing 1 - 5
  1. elpi

    No documentation

    ELPI - Embeddable λProlog Interpreter
    3.0.0
    LGPL-2.1-or-later
    Used by 1 other packages
    09 Jul 2025
  2. ELPI - option for legacy parser
    1
    LGPL-2.1-or-later
    Used by 0 other packages
    19 Apr 2022
  3. 0.99.5
    GPL-2.0-or-later
    Used by 0 other packages
    05 Oct 2023
  4. sel

    No documentation

    0.7.0
    MIT
    Used by 1 other packages
    19 Jun 2025
  5. vscoq-language-server

    No documentation

    2.2.6
    MIT
    Used by 0 other packages
    20 May 2025