SELinux/PolicyGenTools

policy management/generation: http://oss.tresys.com/projects/refpolicy
 * reference policy (everyone knows about it; listed for completeness)
 * setools, policycoreutils, audit2allow, audit2ref, apol

http://selinux.sourceforge.net/devel/userland.php3

http://www.tresys.com/selinux/selinux_policy_tools.shtml

http://www.tresys.com/products/brickwall http://www.mitre.org/tech/selinux/
 * Brickwall
 * slat, polgen

http://seedit.sourceforge.net/
 * selinux policy editor (and accompanying simplified policy language)

http://www.selinux.hitachi-sk.co.jp/en/tool/selaid/selaid-top.html http://selinux-ide.sourceforge.net/index.php
 * selpec, sellog, selchk
 * SLIDE (eclipse plugin, not useful standalone / console?)

http://oss.tresys.com/projects/cdsframework http://www.tresys.com/selinux/selinux_policy_server http://tresys.com/files/docs/cond-readme.txt
 * CDS Framework IDE (no standalone/console mode?)
 * SELinux Policy Server
 * conditional policy extension

nothing public at this time? nothing public at this time? http://web.ics.purdue.edu/~kuliniew/seng/
 * Lopol: A Deductive Database Approach to Policy Analysis and Rewriting
 * CIPSO / IPsec policy hooks / SELinux Protected Paths
 * SENG: An Enhanced Policy Language for SELinux

Thanks to coderman 