CIL is a frontend for the C programming language which facilitates program analysis and transformation. CIL will parse and typecheck a program, and compile it into a simplified subset of C. For example, in CIL, all looping constructs are given a single form and expressions have no side effects. This reduces the number of cases which must be considered when manipulating a C program. CIL has been used for a variety of projects, including CCured, a tool which makes C programs memory safe. It supports ANSI C, as well as most of the extensions of the GNU C and Microsoft C compilers. A Perl script acts as a drop-in replacement for either gcc or Microsoft's cl, and allows merging of the source files in your project. Other features include support for control-flow and points-to analyses.
aime is a simple, C-like programming language and an interpreter, both designed to be embeddable in applications. The language is straightforward, trivial, and direct. Its syntax is simpler than that of C, while still providing for full object management, higher order functions, and references. The interpreter is secure and expressive, allowing comprehensive control over program execution and providing powerful methods of application integration.
The Spread Toolkit provides tools for developing reliable and robust distributed applications ranging from collaboration tools to fault-tolerant database servers to replicated Web servers. It consists of a daemon which provides multicast messaging, reliability, ordering, and membership services, and a library which applications link with. Spread provides a simple API for writing group applications and is designed to provide high performance for local and wide area networking applications.
Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C++, and Java. In Seed7, new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used when it brings advantages and not in places when other solutions are more obvious. Although Seed7 contains several concepts of other programming languages, it is generally not considered as a direct descendant of any other programming language.
Mercury is a new logic/functional programming language, which combines the clarity and expressiveness of declarative programming with advanced static analysis and error detection features. Its highly optimized execution algorithm delivers efficiency far in excess of existing logic programming systems, and close to conventional programming systems. Mercury addresses the problems of large-scale program development, allowing modularity, separate compilation, and numerous optimization/time trade-offs.
Nuttx is a real-time embedded operating system (RTOS). It has a small footprint that is usable in micro-controller environments. It is fully scalable from tiny (8-bit) to moderate embedded (32-bit) systems. It also aims to be fully compliant to standards, to be fully real time, and to be totally open.
WACS is a tool for building adult Web sites. It is equally suitable for managing a private collection or building a commercial site. WACS has many best of breed features, including dynamic filtering, model catalogs, random sampling, galleries, automatic download, and a powerful search engine. WACS contains both a full ready-to-run Web environment and an extensive programming API implemented in both Perl and PHP.