The following packages were found for maintainer: MarkoSchuetz+AT+web.de
Restricting search to CURRENT branch. (Show all branches)

devel/rsltc RAISE Specification Language Type Checker
wip/cvc3 Automatic theorem prover for SMT problems
devel/gentle Gentle Compiler Construction System
wip/py-yapgvb Yet Another Python Graphviz Binding
wip/alt-ergo Automatic theorem prover for program verification
misc/emacs-wiki Wiki major mode for emacs, which aims for implicit and natural markup
math/mpcomplex Multiprecision complex arithmetic library
wip/tardy Manipulate attributes of files within tar archives
wip/why Why is a software verification platform
wip/gnocchi Complexity analyser for C++