Software Map

CCured is a source-to-source translator for C. It

number of run-time checks that must be inserted in the program to prevent all memory safety violations. The resulting program is memory safe, meaning that it will stop rather than overrun a buffer or scribble over memory that it shouldn't touch. Many programs can be made memory-safe this way while losing only 10-60% run-time performance. CCured can find more bugs that Purify misses but with much less run-time cost.

Unified Parallel C (UPC) is an extension of the C programming language designed for high performance computing on large-scale parallel machines. The language provides a uniform programming model for both shared and distributed memory hardware. The programmer is presented with a single shared, partitioned address space, where variables may be directly read and written by any processor, but each variable is physically associated with a single processor. UPC uses a Single Program Multiple Data (SPMD) model of computation in which the amount of parallelism is fixed at program startup time, typically with a single thread of execution per processor. Berkeley UPC provides a portable, high-performance compiler for developing UPC software on systems ranging from clusters to custom supercomputers and even laptop-grade systems.

The GCC XML Tree Node Introspector project consists of a patch to the gcc compiler to output the internal compiler tree nodes in RDF/XML and programs to process that RDF/XML. The tree nodes are complex data structures which represent the source code inside the compiler. Through these tree nodes, users are able to extract information from their programs that would be otherwise very difficult to obtain. Modules exist to store these nodes in Redland RDF using a Berkley database. The long-term goal of the project is create a high-level API that will make the programmatic manipulation of programs easier than it is now.

Aseba is an event-based architecture for distributed control of mobile robots. It targets integrated multi-processor robots or groups of single-processor units, real or simulated. The core of aseba is a lightweight virtual machine tiny enough to run even on microcontrollers. Robots are programmed in a user-friendly scripting language using a cozy integrated development environment.

bigFORTH is a native code Forth. It was originally developed on the Atari ST for the Motorola 68k processor and was recently ported to Intel 386, running under a DOS extender (GO32). bigFORTH is available for Linux and Windows 95/98/NT in pre-beta-test. This version is available under GPL. The most striking new feature is the graphical user interface MINOS and the form editor Theseus. MINOS is a graphic user interface (GUI) for X, written for bigFORTH-Linux and bigFORTH-Win32. It includes a rapid GUI developement editor (Theseus).

Blue is a unique multi-purpose dynamic programming language. The minimalistic syntax is intuitive, easy to learn, and adapts to a broad range of programming styles and applications.

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

OpenMCL is an Open Source version of Digitool's excellent Macintosh Common Lisp (MCL) implementation, which runs on LinuxPPC and MacOS X. It features a native code compiler, multithreading support, and good ANSI CL compliance.

SuperWaba is a VM for PDAs. Because of the way it was written, you can use Java to develop programs for it. It supports exceptions, threads, many user interface controls, double and long 64-bit types, grayscale, color, 3D controls, and JNI and Java libraries, among other features. The project has been superseded and replaced with TotalCross.