124. Mr. Waffles- Mr. Waffles is an open source CTL model checker written entirely in Python. As such, it allows for quick prototyping of systems and specifications.
It is particularly suited for program analysis based on control-flow graphs.

125. JFresnel- Fresnel is a presentation vocabulary for Semantic Web data designed to be application and representation paradigm independent. JFresnel is a Java library that implements the Fresnel specification for various RDF APIs, such as Jena and Sesame.

126. SmartTools Software Factory- The SmartTools software is used to develop more rapidelly Eclipse-based applications (plugins), Service-Oriented Applications into Eclipse frame-work and Peer-to-Peer Service-Oriented Applications on top of an Overlay Network (PON).

128. Gobbolino &amp; Touché- Gobbolino is a software tool for the enumeration of metabolic stories (maximal DAGs with a constrained set of sources/targets). A new algorithm, called Touché, is also available both in the SCM and at the Doc Manager (unique zip).

129. Utilities for Language Engineering- PaULE (Passage Utilities for Language Engineering) is a toolkit performing pre-processings on an input tree-based grammar in order to facilitate parsing (e.g. polarity-based filtering of the grammatical structures).

130. iziworkflow- Online tool to create workflow or graph editors. The developper defines the elements available on the workflow/graph editor. End user can design its own graphic online and save it. Developper can then use the saved file to do the required job.

131. Generic Trace Generator- Generic Trace Generator (GTG) aims at providing a simple and generic interface for generating execution traces in several formats (OTF, Paje, etc.) It will be used by EZTrace and ViTE, but it can also be used by any application.

134. biomanycores- biomanycores is a repository of open-source parallel bioinformatics code in CUDA and OpenCL. The aim of the project is to bridge the gap between researches in high-performance-computing and usual bioinformaticians and biologists.

135. aIOLi- aIOLi handles Parallel I/O in a multi-application and distributed environment. Based on popular parallel I/O concepts, it includes an advanced scheduling algorithm to improve global performance and provide fairness between applications.