Matjito is a pluggable library for the rapid computation of mathematical expressions in C++ programs. Its accepts either an expression string with information about the mapping of symbols to variables and functions or an n-ary tree representing the expression. It features an x86 JIT that allows expressions to be computed very quickly, and is comparable or even better than code generated by optimizing C compilers. It can be used on non-x86 CPUs in a slower interpreting mode.
relipmoC is a translator that converts i386 assembly code to C code, i.e. a decompiler for assembly language. The input assembly language must be in the same format as the i386 ASM produced by gcc. The output file is a C code equivalent to the original code in terms of output. It does not support structures, pointers, or multi-dimensional arrays.
cstor is a cross-reference compiler and reverse engineering tool. It compiles one text file (database) from multiple source modules (currently reads C, C++, and Perl). The tool combines reverse engineering capabilities, code validation, and an HTML documentation generator. The database can then be reused from own scripts and programs, e.g. to implement cross-compilers, validate coding conventions, build statistics etc. The builtin documentation generators are actually an application of the database.
SNAP Platform is a development toolkit that packages into an easy to install solution the the Jikes Java compiler, the SableVM Java-like virtual machine and the GNU Classpath Java-like API, and the Eclipse universal tools platform, plus sample programs with source code and developer documentation.
The XDS product line facilitates software development in the Modula-2 and Oberon-2 languages. It includes native compilers for Intel x86 and "via C" cross-compilers that produce ANSI C source, allowing you to target virtually any platform. The TopSpeed Compatibility Pack add-on aids porting programs written in the TopSpeed Modula-2 dialect to XDS.
The goal of XPS is to make programming simpler by raising the level of abstraction without loss of performance. It provides true support for meta-programming and domain specific languages, making it possible to design simple programming languages to match the problem at hand. This is the opposite of current practice which seeks to translate the problem domain down into the low level solution domain of current programming languages.
linux-libc-headers is a set of Linux kernel headers for building libc. Since Linux 2.6, the kernel authors have frowned upon userspace programs including the kernel headers directly. Instead, the recommendation was to use sanitized kernel headers for userspace programs. The Linux Libc Headers project provides such a set of sanitized headers. It was initiated as a PLD Linux specific project.