13 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
apron 0.9.10-2 2 0.04 APRON numerical abstract domain library arthaud
apron-ocaml-svn 0.9.11.r1054-1 0 0.00 OCaml interface for the APRON numerical abstract domain library arthaud
apron-svn 0.9.11.r1104-2 1 0.02 APRON numerical abstract domain library arthaud
clang40 4.0.1-7 4 0.00 C language family frontend for LLVM arthaud
ikos 2.1-1 6 0.11 Static analyzer for C and C++ developed by NASA arthaud
ikos-git 2.1.r237.bf4ac4a-1 1 0.89 Static analyzer for C and C++ developed by NASA arthaud
llvm40 4.0.1-7 4 0.00 Low Level Virtual Machine arthaud
llvm40-libs 4.0.1-7 4 0.00 Low Level Virtual Machine (runtime libraries) arthaud
ocaml-ocamlgraph-git 20150621-1 2 0.00 Graph library for OCaml arthaud
python-formatstring-git 1.1.r0.g321baf7-1 3 0.00 Format string exploitation helper arthaud
python2-pyode 20100322-1 6 0.00 A set of open-source Python bindings for The Open Dynamics Engine (ODE) arthaud
snowman-git 0.1.3.r0.gd7dee56c-1 10 0.00 Native code to C/C++ decompiler (supporting x86, amd64 and arm) arthaud
zxing-cpp-git r60.5aad474-1 7 0.00 A command-line tool to decode QRCode arthaud

13 packages found. Page 1 of 1.