Home My Page Projects

Project List

1011 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>
Coqonut - A formally verified compiler for Coq.

Register Date: 2014-11-25 14:09

CoqPrime - Certifying Prime Number with the Coq prover

Register Date: 2005-11-15 16:50

Coquelicot - The Coquelicot project aims at designing a modern formalization of classical real numbers for the Coq proof assistant.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2011-10-03 14:13

CoqWmm - A Formal Hierachy of Weak Memory Models, in Coq

Register Date: 2011-02-05 11:40

CoRDAGe - CoRDAGe is a co-deployment and re-deployment tool for grid applications. It interfaces distributed applications with grid middlewares in charge of node reservation and deployment. http://cordage.gforge.inria.fr

Register Date: 2008-01-10 14:27

Corral versioning device - The Corral project is a virtual block-device with transparent versioning, which uses the linux device-mapper snapshot as a lower layer. The snapshot method uses a Copy on Write technique to avoid duplicating unchanged blocks between successive versions.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2009-05-07 14:26

corse-psaic - CORSE - ST Micro project
This project has not yet categorized itself in the Trove Software Map
Register Date: 2015-09-07 13:49

COSYMA - COSYMA: a tool for COntroller SYnthesis on Multi-scale Abstractions

Register Date: 2012-06-04 10:18

CRAC - CRAC is a new tool for mapping and accurately classifying reads produced by next generation sequencers.CRAC can detect SNPs, splices, indels, chimeras, sequencing errors in reads. It can also deal with reads coming from next-next generation sequencers.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2010-11-10 09:51

CracTools - CracTools aims at enhancing CRAC's results on chimeras, indels, SNVsā€¦ by using annotations and additional filtering.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-11-18 12:39

crapotMeca - modelisation 3d crapot eurobot
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-12-04 08:57

CROCO - Coastal and Regional Ocean COmmunity model
This project has not yet categorized itself in the Trove Software Map
Register Date: 2013-11-20 12:00

CryptoMiniSat - CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/ The source is available on github: https://github.com/msoos/cryptominisat

Register Date: 2009-05-14 08:56

Cudf library - The Cudf library, originally developed in the Mancoosi project, is a reference implementation of the Common Upgradability Description Format

Register Date: 2012-10-06 07:45

Cutter - CUTTER addresses OO re-modularization by recognizing and accepting the complexity and multi-faceted nature of software remodularisation, through developing, combining, and evaluating new techniques for analyzing and modularizing code.

Register Date: 2011-05-03 09:31

CVT - CVT computation source code for implicit and triangle surfaces.
This project has not yet categorized itself in the Trove Software Map
Register Date: 2016-04-20 16:53

CWI NFS - This is an archive of the Number Field Sieve software developed at CWI
This project has not yet categorized itself in the Trove Software Map
Register Date: 2012-09-19 14:13

Cycab Toolkit - This project aims to provide a development toolkit dedicated to mobile robotic platforms such as Cycab (simulator, middleware ...).

Register Date: 2005-07-05 08:46

Damaris - Damaris (Dedicated Adaptive Middleware for Application's Resources Inline Steering) aims at providing a library for efficient resource management (in particular memory) on multicore SMP nodes, leveraging dedicated cores for distributed services.

Register Date: 2011-02-23 13:03

dana - dana is a multi-platform library for distributed asynchronous numerical and adaptive computation.

Register Date: 2006-12-19 08:37

1011 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>