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.2.1
    Apache-2.0
    Used by 1 other packages
    Added to opam-repository
  2. catala-format

    No documentation

    A formatter for Catala based on the Topiary universal formatting engine
    Vincent Botbol
    1.2.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  3. catala-lsp

    No documentation

    Catala Language Server Protocol (LSP)
    catala lsp
    Vincent Botbol
    1.2.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  5. frama-c
    Documentation
    Platform dedicated to the analysis of source code written in C
    ACSL C abstract interpretation code transformation dataflow analysis deductive verification formal specification program verification runtime annotation checking static analysis
    Michele Alberti Thibaud Antignac Gergö Barany Patrick Baudin Nicolas Bellec et al.
    33.0
    LGPL-2.1-only
    Used by 1 other packages
    Added to opam-repository
  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
    Added to opam-repository