25 search results for "tag:"form""

Showing 1 - 25
  1. ansifmt

    No documentation

    A simple, lightweight library for ANSI styling
    ansi formatting styling pretty-printing terminal
    lexa <contact@qexat.com>
    2.0.0
    MIT
    Used by 0 other packages
    11 Nov 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.11.0
    LGPL-2.1-or-later
    Used by 0 other packages
    18 Jan 2026
  3. 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
  4. colors

    No 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
  5. esa

    No documentation

    Enhanced Suffix Array
    esa tokenizer llm bioinformatics
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.1
    MIT
    Used by 0 other packages
    18 Jul 2025
  6. fmt

    No documentation

    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.11.0
    ISC
    Used by 380 other packages
    28 Jul 2025
  7. 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
  8. 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.10~beta
    LGPL-2.1-only
    Used by 0 other packages
    26 Nov 2025
  9. 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
    LGPL-2.1-only
    Used by 0 other packages
    22 Sep 2025
  10. hsluv

    No 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 1 other packages
    23 Dec 2023
  11. http-multipart-formdata

    No 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
  12. kdl

    No 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 1 other packages
    31 Dec 2024
  13. libc

    No 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
  14. ocamlsdl2

    No documentation

    Interface to the SDL2 library
    bindings graphics audio multimedia opengl cross-platform
    Florent Monnier Piotr Mardziel David Cadé Guillaume Munch-Maccagnoni
    0.04
    Zlib OR any-OSI
    Used by 2 other packages
    31 Dec 2020
  15. ocamlsdl2-image

    No 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
  16. ocamlsdl2-ttf

    No 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
  17. phylogenetics

    No 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
  18. pp-binary-ints

    No 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
  19. rich-string

    No documentation

    The rich-string library provides a generic way to enrich the built-in string type with new capabilities
    string rich rich string formatting
    lexa <hello@lexa.qexat.com>
    1.0.0
    MIT
    Used by 1 other packages
    28 Oct 2025
  20. scfg

    No documentation

    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    redianthus <redopam@pm.me>
    0.5
    ISC
    Used by 1 other packages
    05 Feb 2025
  21. tinyfiledialogs

    No documentation

    OCaml bindings to tinyfiledialogs
    GUI Dialogs File Dialog Color Picker Cross-Platform TinyFileDialogs Open File Dialog Save File Dialog Select Folder Message Box Input Box
    Charles Averill <charlesaverill20@gmail.com>
    1.0
    MIT
    Used by 0 other packages
    13 Sep 2025
  22. 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.1
    MIT
    Used by 8 other packages
    11 Jan 2026
  23. 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.2
    LGPL-2.1-only
    Used by 7 other packages
    19 Sep 2025
  24. 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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025
  25. 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.2
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2025