Software Map
Project Tree
|
Browse By: |
8 projects in result set.
Slimmer
- Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml. | |
|
Activity Percentile: 34.99 Registered: 2006-05-11 20:47 |
Digiplante Public
- Bibliothèques open-source du projet Digiplante | |
|
Activity Percentile: 10.11 Registered: 2009-11-16 10:23 |
Taxi
- Taxi is the software framework for CyberCars on which the Imara team is working. | |
|
Activity Percentile: 0.00 Registered: 2006-08-28 09:29 |
Realtime On-set Matchmoving
- L’idée du projet est de concevoir un système de prévisualisation 3D qui, fournira une visualisation approchée du compositing. | |
Activity Percentile: 0.00 Registered: 2010-05-16 12:54 |
ASCQ-ME
- ASCQ-ME est un nouvel outil pour faire de l'identification de protéines par PMF. Un de ses principaux atouts est l'utilisation directe de spectres MS bruts sans extraction des pics mono isotopiques. | |
|
Activity Percentile: 0.00 Registered: 2006-01-17 09:52 |
MVStudio
- MVStudio is an autonomous software set which thoroughly manage the acquisition of calibrated video sequences in a multi-camera studio. MVStudio is not an open source project. | |
|
Activity Percentile: 0.00 Registered: 2005-10-06 15:28 |
seven
- Centralisation des développements et documents concernant le projet ANR SEVEN. | |
|
Activity Percentile: 0.00 Registered: 2006-03-08 11:59 |
Frama-C
- Frama-C is a platform for static analysis of C source code | |
|
Activity Percentile: 0.00 Registered: 2008-01-23 14:35 |