Software Map
Project Tree
Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Development Status :: 4 - Beta [Remove This Filter]
Intended Audience :: End Users/Desktop [Remove This Filter]
6 projects in result set.
SYNTAX
- Ensemble d'outils permettant la construction automatique d'analyseurs syntaxiques à partir de leur description grammaticale. Les formalismes reconnus vont des CFG (déterministes ou ambiguës) aux TAG, LFG, RCG, ...
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- License : CeCILL-C[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : Perl[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Software Development : Code Generators[Filter]
|
Activity Percentile: 62.46
Registered: 2006-07-07 12:05 |
Datalift
- The Datalift platform aims at easing and automating publication of raw structured datasets on the Web of data. // La plateforme Datalift est un toolkit pour facilement et automatiquement publier des jeux de données structurés sur le Web des données.
|
- Development Status : 3 - Alpha[Filter]
- Development Status : 4 - Beta (Now Filtering)
- Environment : Web Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software (Now Filtering)
- Kind : Work group[Filter]
- License : CeCILL[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Programming Language : JavaScript[Filter]
- Research center : Montbonnot[Filter]
- Research center : Rocquencourt[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Database : Database Engines/Servers[Filter]
- Topic : Database : Front-Ends[Filter]
- Topic : Other/Nonlisted Topic[Filter]
|
Registered: 2010-09-30 13:05 |
SimSoC
- The SimSoc project aims at developing tools to investigate hardware modeling abstractions for simulation, construction of appropriate simulation engines, and tools to analyze and verify properties of the hardware or embedded software.
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software (Now Filtering)
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Electronic Design Automation \(EDA\)[Filter]
|
Activity Percentile: 15.14
Registered: 2008-05-27 06:24 |
Dedukti
- A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam.
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software (Now Filtering)
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Programming Language : Other[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 1.89
Registered: 2012-10-26 11:28 |
Holide
- An HOL to Dedukti translator.
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software (Now Filtering)
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering[Filter]
|
Registered: 2013-05-31 09:06 |
MyCGR
- MyCGR is an Objective-Caml library and a collection of tools to make experiments using the Chaos Game Representation on DNA sequences (test of structure of sequences, taxonomy, ...).
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2006-03-13 08:48 |
