trickle is a lightweight, portable, per-application bandwidth shaper. It works in collaboration, has peak detection, and does smoothing. trickle works entirely in userland and does not require root to run. It has been developed on OpenBSD and is known to run on Linux, FreeBSD, and Solaris.
CCured is a source-to-source translator for C. It analyzes the C program to determine the smallest 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.
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.
Contiki is an open source, highly portable, networked, multi-tasking operating system for the Internet of Things. Contiki includes a multitasking kernel, a TCP/IP stack and a set of application programs, and a low-power radio communication stack. It is written in C and designed to be very small: it runs comfortably in a few kilobytes of RAM.
Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.
Languenet is a PHP application originally written for Language departments of Universities, allowing users to register for educational courses online and administrators to manage course data, add grades, print certificates, and more. The whole program is accessible by a simple browser. It is currently only available in German.