6 search results for "author:"Vincent Botbol""

Showing 1 - 6
  1. catala

    No documentation

    Compiler and library for the literate programming language for tax code specification
    catala
    Vincent Botbol Nicolas Chataing Alain Delaët-Tixeuil Louis Gesbert Aymeric Fromherz et al.
    1.0.0
    Apache-2.0
    Used by 2 other packages
    10 Nov 2025
  2. catala-format

    No documentation

    A formatter for Catala based on the Topiary universal formatting engine
    catala formatter
    Vincent Botbol
    1.0.0
    Apache-2.0
    Used by 0 other packages
    10 Nov 2025
  3. catala-lsp

    No documentation

    Catala Language Server Protocol (LSP)
    catala lsp
    Vincent Botbol
    1.0.0
    Apache-2.0
    Used by 0 other packages
    10 Nov 2025
  4. dates_calc
    Documentation
    A date calculation library
    Vincent Botbol Aymeric Fromherz Louis Gesbert Denis Merigoux Raphaël Monat et al.
    0.0.10
    Apache-2.0
    Used by 1 other packages
    14 May 2025
  5. frama-c

    No documentation

    Platform dedicated to the analysis of source code written in C
    deductive verification program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    32.0
    LGPL-2.1-only
    Used by 2 other packages
    08 Dec 2025
  6. hidapi-lwt
    Documentation
    Lwt-wrappers for hidapi library
    Vincent Botbol <vincent.botbol@nomadic-labs.com>
    1.2.1
    MIT
    Used by 1 other packages
    16 Jan 2024