ErlyMUD is a rather minimalistic MUD server, written in Erlang and making use of the excellent OTP libraries. The aim is to have solid support for exploration and roleplaying, within a highly fault-tolerant environment where system crashes or reboots are more of an exotic curiosity than a commonplace thing.
GammaMOO is a fork of the LambdaMOO server with numerous cleaned-up patches and modern MOO functionality. This currently includes multicore support, object caching and other acceleration features, enhanced file I/O, UTF support, new built-in data types, and stability improvements with 64-bit support in progress.
Government Sanctioned is a custom-developed text-based RPG (i.e., MUD). New players enter the world of Government Sanctioned as covert agents working for a super-secretive government organization colloquially known as "the agency". Players have a choice of six different roles spanning 19 unique professions. Whether you like stealthy, clandestine operations, the use of subterfuge and guile to infiltrate enemy organizations, or full-blown military actions, the agency has a spot for you. Players are empowered to deeply customize their character through numerous differentiation mechanisms. Character backgrounds lay the foundation for character abilities and are further defined through their cover occupation and agency department affiliation. To put a fine point on character customization, the skill and feat system provides an extensive array of options to tweak the character to suit your style of game play. The skill system boasts over 35 different skill families with around 50 different skills and checks. Skill points are gained upon professional level advancement and can be spent any way the player chooses. With 19 feat trees and over a hundred diverse feats (with new feats being added regularly), your capability for customization is endless.