22 search results for "tag:"form""
Showing 1 - 22
-
Semantic analysis of binary executables0.9.1LGPL-2.1-or-laterUsed by 0 other packages21 May 2024
-
A pure OCaml library for manipulating colors across color spaces0.0.1MITUsed by 1 other packages21 Dec 2023
-
OCaml Format pretty-printer combinators0.9.0ISCUsed by 367 other packages25 Oct 2021
-
Platform dedicated to the analysis of source code written in C29.0LGPL-2.1-onlyUsed by 6 other packages13 Jun 2024
-
frama-c-base
No documentation
Platform dedicated to the analysis of source code written in C.15.0LGPL-2.1-onlyUsed by 2 other packages30 Oct 2018 -
This package contains the Frama-C's E-ACSL plug-in.0.5LGPL-2.1-onlyUsed by 0 other packages28 Jul 2015
-
MetAcsl plugin of Frama-C for writing pervasives properties0.7LGPL-2.1-onlyUsed by 0 other packages04 Oct 2024
-
frama-clang
No documentation
Frama-C plug-in based on Clang for parsing C++ files0.0.16LGPL-2.1-onlyUsed by 0 other packages18 Sep 2024 -
HSLuv human-friendly color space implementation in OCaml0.1.0MITUsed by 0 other packages23 Dec 2023
-
3.1.0MPL-2.0Used by 0 other packages21 Aug 2021
-
Raw definitions and bindings to platforms system libraries0.0.1MITUsed by 1 other packages15 Feb 2024
-
Interface to the SDL2 library0.04restrictionless ZlibUsed by 2 other packages31 Dec 2020
-
Interface to the SDL2_image library0.01restrictionless ZlibUsed by 0 other packages31 Dec 2020
-
Interface to the SDL2_ttf library0.02restrictionless ZlibUsed by 0 other packages31 Dec 2020
-
Algorithms and datastructures for phylogenetics0.3.0CeCILL-BUsed by 0 other packages09 Jul 2024
-
1.0.0CC0-1.0Used by 1 other packages13 Jan 2022
-
OCaml library and executable to work with the scfg configuration file format0.2ISCUsed by 3 other packages23 Jan 2023
-
A simple backend for trace, emitting Catapult/TEF JSON into a file0.8MITUsed by 7 other packages17 Sep 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 9 other packages22 Apr 2024
-
why3-base
No documentation
Why3 environment for deductive program verification (base)0.88.3LGPL-2.1-onlyUsed by 1 other packages12 Jan 2018 -
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024
-
Why3 environment for deductive program verification1.7.2LGPL-2.1-onlyUsed by 0 other packages22 Apr 2024