(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.
The goal for A-A-P is to make it easy to locate, download, and install software. Additionally, it supports making changes to a program and managing different versions that exist in the world, making it useful both for users and for developers. It uses a recipe that is similar to a Makefile, but with many enhancements, such as integrated Python script support, support for Internet access, and version control. An IDE will be provided that integrates your favorite editor, debugger, and other tools.
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.
Adflib is a free, portable, open and documented implementation of the Amiga filesystem. ADFlib and the related documentation ADF FAQ allow you to easily access media formatted with the Amiga filesystem from your application. This C library is delivered with a little utility like unZip, but for ADF dump files created with UAE, the amiga emulator. The ADF FAQ explains in details the Amiga filesystem.