6 search results for "author:"Julien Signoles""
Showing 1 - 6
-
3.0.0LGPL-2.1-or-later WITH OCaml-LGPL-linking-exceptionUsed by 25 other packages12 Oct 2022
-
Platform dedicated to the analysis of source code written in C29.0LGPL-2.1-onlyUsed by 5 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
-
A generic graph library for OCaml2.1.0LGPL-2.1-onlyUsed by 53 other packages31 Aug 2023
-
ocamlgraph_gtk
No documentation
Displaying graphs using OCamlGraph and GTK2.0.0LGPL-2.1-onlyUsed by 1 other packages08 Oct 2020