Firejail is a SUID sandbox program that reduces the risk of security breaches by restricting the running environment of untrusted applications using Linux namespaces. It currently implements hostname, filesystem, PID, IPC, and networking stack isolation, and it runs on any recent Linux system. It includes a sandbox profile for Mozilla Firefox. Firejail also expands the restricted shell facility found in bash by adding Linux namespace support. It supports sandboxing specific users upon login. The software also includes a small monitoring utility, firemon.
isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, and computing the lexicographic minimum using parametric integer programming. It also includes an ILP solver based on generalized basis reduction and operations geared towards polyhedral compilation such as dependence analysis, scheduling, and AST generation.
Fosfat is a C library for providing read-only access to a Smaky formatted disk. Currently, only a tool and a FUSE extension that use this library can be used for reading a directory and copying a file. Smaky is a system developed in Switzerland at the EPFL (Ecole Polytechnique Fédérale de Lausanne).
Qmonix is a quantitative software monitoring and analysis SDK. It allows you to build your own analytics infrastructure by monitoring and analyzing events from any platform that supports HTTP, visualize your data in real time in the provided Web interface or query with the HTTP API, embed charts in your Web sites, or export data for further analysis.