22 search results for "tag:"form""

Showing 1 - 22
  1. ansifmt
    Documentation
    A simple, lightweight library for ANSI formatting
    ansi formatting pretty-printing terminal
    Qexat <contact@qexat.com>
    0.3.0
    MIT
    Used by 0 other packages
    26 Feb 2025
  2. binsec

    No documentation

    Semantic analysis of binary executables
    binary code analysis symbolic execution deductive program verification formal specification automated theorem prover plugins abstract interpretation dataflow analysis linking disassembly
    Adel Djoudi Benjamin Farinier Chakib Foulani Dorian Lesbre Frédéric Recoules et al.
    0.10.1
    LGPL-2.1-or-later
    Used by 0 other packages
    01 Jul 2025
  3. colors
    Documentation
    A pure OCaml library for manipulating colors across color spaces
    color color spaces color transformations color blending luv xyz rgb linear rgb srgb uv reference colors
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    21 Dec 2023
  4. esa

    No documentation

    Enhanced Suffix Array
    esa tokenizer llm bioinformatics
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.0
    MIT
    Used by 0 other packages
    10 Jul 2025
  5. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.10.0
    ISC
    Used by 364 other packages
    10 Mar 2025
  6. 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.
    31.0
    LGPL-2.1-only
    Used by 5 other packages
    29 Jun 2025
  7. frama-c-metacsl

    No documentation

    MetAcsl plugin of Frama-C for writing pervasives properties
    program verification formal specification C plugins ACSL MetACSL
    Virgile Robles Téo Bernier Nikolai Kosmatov
    0.9~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  8. frama-clang

    No documentation

    Frama-C plug-in based on Clang for parsing C++ files
    formal specification C++ plugins ACSL ACSL++
    Virgile Prevosto
    0.0.18~beta
    LGPL-2.1-only
    Used by 0 other packages
    23 Jun 2025
  9. hsluv
    Documentation
    HSLuv human-friendly color space implementation in OCaml
    color hsluv hpluv rgb xyz lch luv color space color conversion perceptually uniform colors
    Sabine Schmaltz
    0.1.0
    MIT
    Used by 0 other packages
    23 Dec 2023
  10. http-multipart-formdata
    Documentation
    Http multipart/formdata parser
    http multipart formadata form web
    Bikal Lem, <gbikal@gmail.com>
    3.1.0
    MPL-2.0
    Used by 0 other packages
    21 Aug 2021
  11. kdl
    Documentation
    OCaml implementation of the KDL Document Language
    data-serialization-format configuration-format org:eilvelia
    eilvelia <hi@eilvelia.cat>
    0.2.0
    MPL-2.0
    Used by 0 other packages
    31 Dec 2024
  12. libc
    Documentation
    Raw definitions and bindings to platforms system libraries
    libc platform bindings raw bindings
    Leandro Ostera <leandro@abstractmachines.dev>
    0.0.1
    MIT
    Used by 1 other packages
    15 Feb 2024
  13. ocamlsdl2
    Documentation
    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    restrictionless Zlib
    Used by 2 other packages
    31 Dec 2020
  14. ocamlsdl2-image
    Documentation
    Interface to the SDL2_image library
    bindings graphics image loader multimedia cross-platform
    Florent Monnier David Cadé Piotr Mardziel
    0.01
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  15. ocamlsdl2-ttf
    Documentation
    Interface to the SDL2_ttf library
    bindings graphics font ttf multimedia cross-platform
    Florent Monnier David Cadé
    0.02
    restrictionless Zlib
    Used by 0 other packages
    31 Dec 2020
  16. phylogenetics
    Documentation
    Algorithms and datastructures for phylogenetics
    bioinformatics evolution phylogeny
    Louis Duchemin Vincent Lanore Philippe Veber
    0.3.0
    CeCILL-B
    Used by 0 other packages
    09 Jul 2024
  17. pp-binary-ints
    Documentation
    Pretty Printing Binary Integers
    printf format boolean binary
    Ifaz Kabir
    1.0.0
    CC0-1.0
    Used by 1 other packages
    13 Jan 2022
  18. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    Léo Andrès <contact@ndrs.fr>
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  19. trace-tef

    No documentation

    A simple backend for trace, emitting Catapult/TEF JSON into a file
    trace tracing catapult TEF chrome-format chrome-trace json
    Simon Cruanes
    0.10
    MIT
    Used by 8 other packages
    28 May 2025
  20. why3

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 7 other packages
    09 Jun 2025
  21. why3-coq

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025
  22. why3-ide

    No documentation

    Why3 environment for deductive program verification
    deductive program verification formal specification automated theorem prover interactive theorem prover
    François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
    1.8.1
    LGPL-2.1-only
    Used by 0 other packages
    09 Jun 2025