ITVal is a decision-diagram based query engine for testing and verifying iptables firewalls. Because firewalls can be very complicated, it is often difficult to know whether your firewall is correctly configured to protect against various attacks. ITVal allows the system administrator to quickly and easily verify that the firewall setup satisfies a set of security properties expressed as queries. Queries are specified in a simple English-like language that is very easy to use. Advanced firewall techniques, such as NAT and stateful filtering, are supported.
High performance, featureful, firewall
IPtables/Netfilter supports all sorts of advanced features, such as NAT, masquerading, packet redirect, and many others. It also has all sorts of useful matches, such as the STRING match and the ipset module. It is one of the very best stateful firewall systems available.
Wesnoth is one of the very top strategy games available for open source platforms. Even my wife enjoys playing it on her Mac! It is turn-based, rather than real-time, but has a very sophisticated combat system and a very impressive storyline. It is very playable and has pretty cool graphics.
Some minor issues: In single player campaigns, if you mess up, it can be very difficult to correct your mistake. In fact, it can often be difficult to know you've made a mistake until you get two or three levels further into the campagin and suddenly don't have enough advanced units to take out the enemy. It would be nice if it was easier to recover from an error somehow (perhaps by allowing the player to choose to play a randomly generated, but relatively easy single player scenario repeatedly before advancing to the next official scenario?). Also, the development version performs MUCH better than the stable version on my wife's Mac for some reason. Both run much slower than the Linux version.
Overall, an execellent game with a truly novel engine, storyline, and soundtrack.