dev-lang

dev-libs

  • Simple Theorem Prover, an efficient SMT solver for bitvectors

dev-python

dev-util

  • A graphical front-end for GCC's coverage testing tool gcov

sci-mathematics

sys-apps

www-misc