List of software tools
- s(ASP): A Query Driven Predicate Answer Set Programming System
s(ASP) executes Prolog programs with stable model semantics for negation. General structures are supported and programs do not have to be grounded. Source code freely downloadable.
- SkePU skeleton programming library v1.2
SkePU is an open-source C++ based multi-backend skeleton programming library for high-level portable programming of multicore systems with one or several GPUs. It provides automatic optimizations such as auto-tunable back-end selection and "smart containers" for run-time optimization of device memory management and data transfers to/from GPU.
Version 1.2 has now been released (May 2015).
- Parma Polyhedra Library 0.11
The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. These abstractions include convex polyhedra, defined as the intersection of a finite number of (open or closed) halfspaces, each described by a linear inequality (strict or non-strict) with rational coefficients; some special classes of polyhedra shapes that offer interesting complexity/precision tradeoffs; and grids which represent regularly spaced points that satisfy a set of linear congruence relations. The library also supports finite powersets and products of (any kind of) polyhedra and grids, a mixed integer linear programming problem solver using an exact-arithmetic version of the simplex algorithm, a parametric integer programming solver, and primitives for the termination analysis via the automatic synthesis of linear ranking functions.
A C compiler, a JIT, a debugger and programming environment
Tom (http://tom.loria.fr) is a pattern matching compiler.