policy management/generation:
- reference policy (everyone knows about it; listed for completeness)
http://oss.tresys.com/projects/refpolicy
- setools, policycoreutils, audit2allow, audit2ref, apol
http://selinux.sourceforge.net/devel/userland.php3
http://www.tresys.com/selinux/selinux_policy_tools.shtml
- Brickwall
http://www.tresys.com/products/brickwall
- slat, polgen
http://www.mitre.org/tech/selinux/
- selinux policy editor (and accompanying simplified policy language)
http://seedit.sourceforge.net/
- selpec, sellog, selchk
http://www.selinux.hitachi-sk.co.jp/en/tool/selaid/selaid-top.html
- SLIDE (eclipse plugin, not useful standalone / console?)
http://selinux-ide.sourceforge.net/index.php
- CDS Framework IDE (no standalone/console mode?)
http://oss.tresys.com/projects/cdsframework
- SELinux Policy Server
http://www.tresys.com/selinux/selinux_policy_server
- conditional policy extension
http://tresys.com/files/docs/cond-readme.txt
- Lopol: A Deductive Database Approach to Policy Analysis and Rewriting
nothing public at this time?
- CIPSO / IPsec policy hooks / SELinux Protected Paths
nothing public at this time?
- SENG: An Enhanced Policy Language for SELinux
http://web.ics.purdue.edu/~kuliniew/seng/
Thanks to coderman <coderman@gmail.com>