Philippe Docourt
Elan-PixManager v.0.9.2
Elan-PixManager is a program to manage image files, organize photos independently from the file system, generate HTML gallery etc. The program provides a group management for keywords you can attach to each photo.
Z3-2.12 v.2 1
Z3 is an SMT solver that combines several theory solvers into a combined framework. It can be used to prove theorems and find counter-examples for non-theorems. Philippe Suter made a JNI binding available.
Speed Dreams v.2.0-a2-r3111
Speed Dreams is is a 3d cross-platform, open source motorsport simulation and racing game. It is released under the GNU General Public License (GPL).
Parrot Software Update v.3.7.0.0
The Parrot Software Update Tool software enables you to easily update your Parrot product. The update software procedure depends on your Parrot product. Parrot Software Update -Check the latest available versions.