Software Map
Project Tree
Now limiting view to projects in the following categories:
Development Status :: 3 - Alpha [Remove This Filter]
Natural Language :: English [Remove This Filter]
26 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>
Slimmer
- Sophisticated logic implementations for modeling and mechanical reasoning. Current coding efforts are focused on building the Bedwyr proving system in OCaml.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 37.50
Registered: 2006-05-11 20:47 |
Belenios
- Verifiable online voting system
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : No Input/Output \(Daemon\)[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Affero General Public License v3 \(AGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Security : Cryptography[Filter]
|
Activity Percentile: 33.64
Registered: 2013-11-12 16:52 |
Modular C
- This is a reference implementation of the extension to the C programming language.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : Unix Shell[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Code Generators[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 21.01
Registered: 2015-06-29 12:27 |
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.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : MPI[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Fortran[Filter]
- Research center : Rennes[Filter]
- Topic : Database : Database Engines/Servers[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
- Topic : System : Filesystems[Filter]
|
Activity Percentile: 16.36
Registered: 2011-02-23 13:03 |
Steganography and Covert Channels
- Steganography and Covert Channels source code repo
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes[Filter]
- Topic : Security[Filter]
|
Activity Percentile: 5.59
Registered: 2014-09-29 13:56 |
BLiFF++
- The BLiFF++ library: a BCI Library For Free in C++
This library aims at providing classes that could used to quickly design, test and assess (mainly off line) Brain-Computer Interfaces (BCI) in C++. It is a free and open-source library.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
- Topic : Scientific/Engineering : Human Machine Interfaces[Filter]
|
Activity Percentile: 5.45
Registered: 2008-06-26 14:22 |
Toktok
- The Toktok project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
|
Activity Percentile: 5.32
Registered: 2010-01-26 14:39 |
Zenon (automated theorem prover)
- Automated theorem prover for first order logic with equality, based on the tableau method.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 5.05
Registered: 2014-11-06 09:33 |
OWL-Lite Alignment
- OLA (OWL-Lite Alignment) matches ontologies written in OWL. It relies on a similarity combining all the knowledge used in entity descriptions. It also deal with one-to-many relationships and circularity in entity descriptions through a fixpoint algorithm.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 3.32
Registered: 2006-02-15 21:13 |
Mr. Waffles
- Mr. Waffles is an open source CTL model checker written entirely in Python. As such, it allows for quick prototyping of systems and specifications.
It is particularly suited for program analysis based on control-flow graphs.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Python[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2009-07-09 12:43 |
GenI wrapper
- The GenI wrapper project contains two Java packages interfacing the GenI surface realizer developed by Eric Kow, a GenI client that communicates with the geniserver with sockets, and a morphological realizer.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Human Machine Interfaces[Filter]
|
Activity Percentile: 0.00
Registered: 2009-10-04 16:34 |
SPADE: small particle detection
- Warning! Project has been moved to https://gitlab.inria.fr/ncedilni/spade
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Python[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Multimedia : Graphics[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
|
Registered: 2016-05-12 16:35 |
WSNet
- WSNet is a modular event-driven simulator targeted to Wireless Sensor Networks. Its main goals are to offer scalabiliy, extensibility and modularity for the integration of new protocols/hardware models and a precise radio medium simulation.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Research center : Montbonnot[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2007-11-15 10:07 |
CarGeo6 public release
- an open source implementation of IPv6 GeoNetworking stack for vehicular communications, conforming with GeoNet specification D2.2
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : Other OS[Filter]
- Programming Language : C[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Communications[Filter]
|
Activity Percentile: 0.00
Registered: 2011-04-14 22:35 |
Thesis
- All Files from Loïc Fejoz's Ph'd thesis.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- Kind : Work group[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Nancy[Filter]
- Topic : Security[Filter]
|
Registered: 2007-01-29 09:19 |
xionee
- Xionee project is a collection of tools implemented in Ruby to simplify the management of workload traces of parallel machines (clusters, grids).
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Ruby[Filter]
- Research center : Montbonnot[Filter]
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : System : Emulators[Filter]
|
Registered: 2009-03-29 13:14 |
Palabre
- Palabre is a peer-to-peer client, providing multiple network services such as encrypted network backup, photos sharing, etc...
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : No Input/Output \(Daemon\)[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : System Administrators[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : JavaScript[Filter]
- Programming Language : Objective-Caml[Filter]
- Topic : Communications : File Sharing[Filter]
- Topic : Internet : WWW/HTTP : HTTP Servers[Filter]
- Topic : Security : Cryptography[Filter]
|
Activity Percentile: 0.00
Registered: 2006-06-29 15:10 |
FaceAnimation
- FaceAnimation is a software to animate human avatars based of the MPEG4 face animation standard (.fap) for any WRML face mesh using the Candide3 face model to (semi-automatically) project.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows : Windows 95/98/2000[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Multimedia : Graphics : 3D Modeling[Filter]
- Topic : Multimedia : Video : Capture[Filter]
- Topic : Scientific/Engineering : Visualization[Filter]
|
Activity Percentile: 0.00
Registered: 2010-07-20 07:24 |
ReaTK
- Reactive systems verification and synthesis toolkit. This project distributes the ReaX tool for solving discrete controller synthesis problems for infinite state systems given as Controllable-Nbac programs, plus several libraries for handling such files and models. A version of the ReaVer tool is also included.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2015-04-22 14:56 |
ALTA
- ALTA is a general-purpose library designed to help analyze and use measured material data such as BRDFs (Bidirectional Reflectance Distribution Functions).
It provides a generic set of tools to analyze and fit BRDF data and models.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Environment : OpenMP[Filter]
- Kind : Software[Filter]
- License : OSI Approved : Mozilla Public License \(MPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Python[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Multimedia : Graphics[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2013-11-06 11:11 |
26 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1>
<2>
