Home My Page Projects

Project List

1027 projects in result set.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43> <44> <45> <46> <47> <48> <49> <50> <51> <52>
slideotracker - This software enables to synchronize slides with the corresponding video recording
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-02-09 16:37

Slimmer - Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.

Register Date: 2006-05-11 20:47

slurm-treematch - Developments around SLURM and TreeMatch
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-03-04 15:44

SmartEiffel - SmartEiffel The GNU Eiffel compiler, tools and libraries. Software Engineering. Object Oriented Design. Design by contracts.

Register Date: 2005-11-29 10:06

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).

Register Date: 2006-08-31 16:01

Smews - Smews (Smart and Mobile Embedded Web Server) works without under laying OS on various 8, 16 and 32 bits hardware (smartcards, Sensors, GBA...) with a very low memory footprint. Smews is able to run rich web applications, static/dynamic contents, Comet...
This project has not yet categorized itself in the Trove Software Map
Register Date: 2008-12-18 14:42

SMSOA-Security Meta-Services Orch. Arch. - SMSOA (Security Meta-Services Orchestration Architecture) is an architectural framework that consists of security meta-services and a central service used for the orchestration of the security services..

Register Date: 2009-11-03 11:23

smt2d - Traduction de smtlib2 vers dedukti
This project has not yet categorized itself in the Trove Software Map
Register Date: 2014-11-24 16:13

SMT Preprocessor - This tool preprocesses formulas. Examples of preprocessing methods are, obfuscation, symmetry breaking, push-pop simulation.

Register Date: 2015-01-19 08:04

Snooze - Snooze is a scalable, autonomic, and energy-aware virtual machine (VM) management framework based on a self-organizing hierarchical architecture.

Register Date: 2012-01-13 12:55

soa4all-distributed-semanticspaces - Semantic Spaces offers a distributed virtualization layer on top of RDF repositories. This code is developped as part of the European SOA4ALL project.

Register Date: 2010-07-12 15:34

SOA4All fDSB - fDSB is a ProActive/GCM component-based layer that allows independent distributed service buses (DSBs) to be federated to form an Internet wide federation of DSBs (the SOA4All fDSB). This code is developped as part of the European SOA4ALL project.

Register Date: 2011-01-20 08:44

SocialStorage - Leveraging social interactions to improve distributed storage.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-02-19 12:10

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

Register Date: 2007-09-06 20:42

SOFA - ########################################## ..... WARNING: This GForge project is DEPRECATED ..... ########################################## - SOFA source code is now on GitHub: https://github.com/sofa-framework/sofa - SOFA wiki has been merged with online documentation: https://www.sofa-framework.org/documentation - Mailing-lists are now here: https://sympa.inria.fr (search "sofa") - Files about code (releases, dependencies) are on GitHub: https://github.com/sofa-framework/sofa/releases - Files about infos (tutorials, presentations) are on SOFA website SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.

Register Date: 2007-02-26 14:06

sofa-collodi - Ensemble de plugins sofa dédié à la simulation de vêtements et de chevelures.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-02-10 12:49

SOFA (git scm) - SOFA is an Open Source framework primarily targeted at real-time simulation, with an emphasis on medical simulation.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-12-20 09:21

sofa-qtquick - SOFA plugin for user interfaces. IMPORTANT NOTE: This project has been moved to INRIA GitLab at the following address : https://gitlab.inria.fr/ocarre/sofaqtquick Ask for access to Olivier CARRE using the GitLab interface.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-04-17 11:35

SoHuSim - SoHuSim s’intéresse à la problématique de la modélisation et de la simulation d’interaction molle entre humain et objets

Register Date: 2010-10-28 12:49

SOLEIL - Solver for integral equations by collocation methods

Register Date: 2011-03-24 16:48

1027 projects in result set.
<1> <2> <3> <4> <5> <6> <7> <8> <9> <10> <11> <12> <13> <14> <15> <16> <17> <18> <19> <20> <21> <22> <23> <24> <25> <26> <27> <28> <29> <30> <31> <32> <33> <34> <35> <36> <37> <38> <39> <40> <41> <42> <43> <44> <45> <46> <47> <48> <49> <50> <51> <52>