4 search results for "author:"Matthieu Lemerre""
Showing 1 - 4
-
binsec
No documentation
Semantic analysis of binary executables0.10.1LGPL-2.1-or-laterUsed by 0 other packages01 Jul 2025 -
cudd
No documentation
Minimal cudd bindings0.1.1LGPL-2.1-onlyUsed by 0 other packages12 Jun 2025 -
frama-c
No documentation
Platform dedicated to the analysis of source code written in C31.0LGPL-2.1-onlyUsed by 5 other packages29 Jun 2025 -
Patricia Tree data structure in OCaml for maps and sets. Supports generic key-value pairs0.11.0LGPL-2.1-onlyUsed by 1 other packages28 Jan 2025