26 search results for "tag:"form""

Showing 1 - 26
  1. ansifmt
    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
    Added to opam-repository
  2. binsec
    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 Benoit Boero Benjamin Farinier Chakib Foulani Dorian Lesbre et al.
    0.11.2
    LGPL-2.1-or-later
    Used by 0 other packages
    Added to opam-repository
  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
    Added to opam-repository
  4. esa
    Documentation
    Enhanced Suffix Array
    esa tokenizer llm bioinformatics
    Geoffrey Borough <geoffrey.borough@outlook.com>
    0.1.1
    MIT
    Used by 0 other packages
    Added to opam-repository
  5. fmt
    Documentation
    OCaml Format pretty-printer combinators
    string format pretty-print org:erratique
    The fmt programmers
    0.11.0
    ISC
    Used by 417 other packages
    Added to opam-repository
  6. forcamla
    Documentation
    Organize program execution via formulae
    mathematical programming formula event listeners
    Christopher Sumnicht <csumnicht@berkeley.edu>
    0.3.0
    Apache-2.0
    Used by 0 other packages
    Added to opam-repository
  7. 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 3 other packages
    Added to opam-repository
  8. frama-c-metacsl
    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
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  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.19
    LGPL-2.1-only
    Used by 0 other packages
    Added to opam-repository
  10. 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 1 other packages
    Added to opam-repository
  11. 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
    Added to opam-repository
  12. 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 1 other packages
    Added to opam-repository
  13. 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
    Added to opam-repository
  14. menhirformat
    Documentation
    Formatter for Menhir and ocamllex
    format menhir ocamllex
    Federico Dal Pio Luogo
    0.2.0
    GPL-2.0-only
    Used by 1 other packages
    Added to opam-repository
  15. 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
    Zlib OR any-OSI
    Used by 2 other packages
    Added to opam-repository
  16. 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
    Added to opam-repository
  17. 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
    Added to opam-repository
  18. 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
    Added to opam-repository
  19. pp-binary-ints
    Documentation
    Pretty Printing Binary Integers
    printf format boolean binary
    Ifaz Kabir
    1.0.0
    CC0-1.0
    Used by 2 other packages
    Added to opam-repository
  20. rich-string
    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
    Added to opam-repository
  21. scfg
    Documentation
    OCaml library and executable to work with the scfg configuration file format
    scfg configuration format simple config parser printer
    pena <pena@kumikode.org>
    0.5
    ISC
    Used by 1 other packages
    Added to opam-repository
  22. tinyfiledialogs
    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
    Added to opam-repository
  23. trace-tef
    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.12
    MIT
    Used by 8 other packages
    Added to opam-repository
  24. why3
    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 8 other packages
    Added to opam-repository
  25. why3-coq
    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
    Added to opam-repository
  26. why3-ide
    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
    Added to opam-repository