11 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
apron-ocaml-svn 0.9.11.r1054-1 0 0.00 OCaml interface for the APRON numerical abstract domain library arthaud
apron-ppl-svn 0.9.11.r1054-1 1 0.00 The APRON numerical abstract domain library, with the PPL domain arthaud
clang40 4.0.1-6 4 0.09 C language family frontend for LLVM arthaud
ikos 1.3-1 2 0.00 A static analysis tool for C/C++ developed by NASA arthaud
llvm40 4.0.1-6 4 0.09 Low Level Virtual Machine arthaud
llvm40-libs 4.0.1-6 4 0.09 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.0.r0.g609791c-1 10 0.96 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

11 packages found. Page 1 of 1.