OCaml logo
17 Search Results
binsec
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 Frédéric Recoules Josselin Feist Lesly-Ann Daniel Manh-Dung Nguyen Mathilde Ollivier Matthieu Lemerre Olivier Nicole Richard Bonichon Robin David Ta Thanh Dinh Yaëlle Vinçont Guillaume Girol
0.5.0
LGPL-2.1-or-later
Used by 0 other packages
fmt
OCaml Format pretty-printer combinators
string format pretty-print org:erratique
The fmt programmers
0.9.0
ISC
Used by 289 other packages
frama-c
Platform dedicated to the analysis of source code written in C
deductive 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 Thibaut Benjamin Allan Blanchard Lionel Blatter François Bobot Richard Bonichon Quentin Bouillaguet David Bühler Zakaria Chihani Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Basile Desloges Jean-Christophe Filliâtre Philippe Herrmann Maxime Jacquemin Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre Dara Ly David Maison Claude Marché André Maroneze Thibault Martin Fonenantsoa Maurica Melody Méaulle Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Dario Pinto Virgile Prevosto Armand Puccetti Félix Ridoux Virgile Robles Muriel Roger Julien Signoles Kostyantyn Vorobyov Boris Yakobowski
25.0
LGPL-2.1-only
Used by 3 other packages
frama-c-base
Platform dedicated to the analysis of source code written in C.
deductive program verification formal specification automated theorem prover interactive theorem prover C plugins abstract interpretation slicing weakest precondition ACSL dataflow analysis runtime verification
Michele Alberti Gergö Barany Patrick Baudin François Bobot Richard Bonichon David Bühler Loïc Correnson Julien Crétin Pascal Cuoq Zaynah Dargaye Jean-Christophe Filliâtre Philippe Herrmann Florent Kirchner Tristan Le Gall Jean-Christophe Léchenet Matthieu Lemerre David Maison Claude Marché André Maroneze Benjamin Monate Yannick Moy Anne Pacalet Valentin Perrelle Guillaume Petiot Virgile Prevosto Armand Puccetti Muriel Roger Julien Signoles Kostyantyn Vorobyov Boris Yakobowski
15.0
LGPL-2.1-only
Used by 2 other packages
frama-c-e-acsl
This package contains the Frama-C's E-ACSL plug-in.
program verification formal specification runtime assertion checking monitoring C plugins ACSL E-ACSL
Julien Signoles Guillaume Petiot
0.5
LGPL-2.1-only
Used by 0 other packages
frama-c-metacsl
MetACSL plugin of Frama-C for writing pervasives properties
program verification formal specification ACSL MetACSL
Virgile Robles
0.3
LGPL-2.1-only
Used by 0 other packages
http-multipart-formdata
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
ocamlsdl2
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
ocamlsdl2-image
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
ocamlsdl2-ttf
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
phylogenetics
Algorithms and datastructures for phylogenetics
bioinformatics evolution phylogeny
Louis Duchemin Vincent Lanore Philippe Veber
0.1.0
CeCILL-B
Used by 0 other packages
pp-binary-ints
Pretty Printing Binary Integers
printf format boolean binary
Ifaz Kabir
1.0.0
CC0-1.0
Used by 1 other packages
scfg
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.1
ISC
Used by 0 other packages
why3
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.5.0
LGPL-2.1-only
Used by 7 other packages
why3-base
Why3 environment for deductive program verification (base)
deductive program verification formal specification automated theorem prover interactive theorem prover
François Bobot Jean-Christophe Filliâtre Claude Marché Guillaume Melquiond Andrei Paskevich
0.88.3
LGPL-2.1-only
Used by 1 other packages
why3-coq
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.5.0
LGPL-2.1-only
Used by 0 other packages
why3-ide
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.5.0
LGPL-2.1-only
Used by 0 other packages