(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.
4tH is a Forth compiler with a little difference. Instead of the standard Forth engine it features a conventional compiler. 4tH is a very small compiler that can create bytecode, C-embeddable bytecode, standalone executables, but also works fine as a scripting language. It supports about 95% of the ANS Forth CORE wordset and features conditional compilation, pipes, files, assertions, forward declarations, enumerations, structures, suspended execution, recursion, include files, etc. It comes with an RPN calculator, line editor, preprocessor, compiler, decompiler, C-source generator, a virtual machine, and a multitasking environment.
::mound:: is a software development management platform. ::mound:: provides simple project management with lots of power, but stays out of the way. ::mound:: is methodology independent and is designed for agile software development. It allows for tracking of bugs, tasks, and projects.
AA-lib is a low level gfx library just as many other libraries are. The main difference is that AA-lib does not require graphics device. In fact, there is no graphical output possible. AA-lib replaces those old-fashioned output methods with a powerful ASCII art renderer. The API is designed to be similar to other graphics libraries.
ACFTools is a utility for manipulating X-Plane flight simulator aircraft and weapon models without using its Plane Maker. It can decode both Apple and Intel ACF/WPN formats into plain text files with a syntax similar to C, which can be edited and then re-converted into binary data. It is able to extract almost complete 3D models of aircraft (fuselage, floats, tanks, wings, stabs, propellers, engines) and write it in AC3D modeler format. Edited 3D parts can then be merged into plain text and consequently converted into binary ACF files.
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.
ADM (Asterisk Desktop Manager) aims to integrate your desktop with the Asterisk PBX and hardware IP phone by providing some useful features such as automatic on-call volume reduction, one click dialing (from the clipboard), CRM integration via a browser popup, BlueTooth presence detection and automatic call redirection when you walk out of the office, and transfer of the current call from the desktop.