(Serial Ports on) Steroids enables users to execute remote C functions in a Python shell over a serial interface. It is useful for embedded system testing and industrial automation. It generates C code for the target and a Python script for the host automatically from a C header file.
0 A.D. (pronounced "zero ey-dee") is a cross-platform real-time strategy (RTS) game of ancient warfare. It's a historically-based war/economy game that allows players to relive or rewrite the history of ancient civilizations, each depicted at their peak of economic growth and military prowess.
ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.
Af-Arch is an N-tier development framework to quickly build high-quality distributed applications. It currently supports C and C# programming languages, which enables you to write client applications using them. It currently runs on GNU/Linux and Microsoft Windows, and is being used in production environments.
APBS is a software package for the numerical solution of the Poisson-Boltzmann equation (PBE), one of the most popular continuum models for describing electrostatic interactions between molecular solutes in salty, aqueous media. Continuum electrostatics plays an important role in several areas of biomolecular simulation, including simulation of diffusional processes to determine ligand-protein and protein-protein binding kinetics, implicit solvent molecular dynamics of biomolecules, solvation and binding energy calculations to determine ligand-protein and protein-protein equilibrium binding constants and aid in rational drug design, and biomolecular titration studies.