Don't panic, it's just a game.
Consensus Reality (aka Conreality) is an augmented-reality wargame currently in an early design and planning phase.
A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.
Generic Optimization Library
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.