5 Search Results
frama-c-lannotate
Lannotate plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Omar Chebaro Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages
frama-c-luncov
Luncov plugin of Frama-C, part of the LTest suite
software testing Frama-C LTest
Robin David Mickaël Delahaye Michael Marcozzi Thibault Martin
0.2
LGPL-2.1-only
Used by 0 other packages
swhid
OCaml library to work with Software Heritage identifiers
swh software heritage archive swhid persistent identifier
Léo Andrès <contact@ndrs.fr> Dario Pinto <dario.pinto@ocamlpro.com>
0.2
ISC
Used by 0 other packages
swhid_compute
OCaml library to work with Software Heritage identifiers, compute library used in swhid
swh software heritage archive shwid persistent identifier compute
Léo Andrès <contact@ndrs.fr>
0.1
ISC
Used by 0 other packages
swhid_types
OCaml library to work with Software Heritage identifiers, types library used in swhid
swh software heritage archive shwid persistent identifier types
Léo Andrès <contact@ndrs.fr>
0.1
ISC
Used by 1 other packages