| math/mpcomplex | NetBSD | 1.3.1 | math/mpcomplex 1.3.1: Multiprecision complex arithmetic library. NetBSD port maintained by [email protected]. |
| misc/emacs-wiki | NetBSD | 2.72nb2 | misc/emacs-wiki 2.72nb2: Wiki major mode for emacs, which aims for implicit and natural markup. NetBSD port maintained by [email protected]. |
| wip/alt-ergo | NetBSD | 1.01 | wip/alt-ergo 1.01: Automatic theorem prover for program verification. NetBSD port maintained by [email protected]. |
| wip/cvc3 | NetBSD | 2.2 | wip/cvc3 2.2: Automatic theorem prover for SMT problems. NetBSD port maintained by [email protected]. |
| wip/gnocchi | NetBSD | 0.35nb1 | wip/gnocchi 0.35nb1: Complexity analyser for C++. NetBSD port maintained by [email protected]. |
| wip/py-yapgvb | NetBSD | source | wip/py-yapgvb source: Yet Another Python Graphviz Binding. NetBSD port maintained by [email protected]. |
| wip/tardy | NetBSD | 1.17 | wip/tardy 1.17: Manipulate attributes of files within tar archives. NetBSD port maintained by [email protected]. |
| wip/why | NetBSD | 2.29 | wip/why 2.29: Why is a software verification platform. NetBSD port maintained by [email protected]. |
BSD Ports