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]
|
Browse By: |
27 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>
ArchSat
- ArchSat is a prototype of a very modular SMT theorem prover using tableaux rules for deduction. | |
|
Registered: 2015-07-17 09:15 |
Belenios
- Verifiable online voting system | |
|
Activity Percentile: 38.61 Registered: 2013-11-12 16:52 |
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 |
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. | |
|
Activity Percentile: 9.05 Registered: 2008-06-26 14:22 |
CarGeo6 public release
- an open source implementation of IPv6 GeoNetworking stack for vehicular communications, conforming with GeoNet specification D2.2 | |
|
Activity Percentile: 4.83 Registered: 2011-04-14 22:35 |
Toktok
- The Toktok project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme) | |
|
Activity Percentile: 4.22 Registered: 2010-01-26 14:39 |
SOLEIL
- Solver for integral equations by collocation methods | |
|
Activity Percentile: 2.87 Registered: 2011-03-24 16:48 |
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. | |
|
Activity Percentile: 1.21 Registered: 2011-02-23 13:03 |
TLA+ tools
- The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language. | |
|
Activity Percentile: 0.00 Registered: 2009-09-21 09:47 |
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. | |
|
Activity Percentile: 0.00 Registered: 2007-11-15 10:07 |
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. | |
|
Activity Percentile: 0.00 Registered: 2010-07-20 07:24 |
SPADE: small particle detection
- Warning! Project has been moved to https://gitlab.inria.fr/ncedilni/spade | |
|
Registered: 2016-05-12 16:35 |
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. | |
|
Activity Percentile: 0.00 Registered: 2009-07-09 12:43 |
SimSoC-Cert
- Development of libraries and tools for the certification of a simulator for various architectures used in embedded systems. | |
|
Registered: 2009-11-13 02:29 |
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. | |
|
Activity Percentile: 0.00 Registered: 2006-02-15 21:13 |
Thesis
- All Files from Loïc Fejoz's Ph'd thesis. | |
|
Registered: 2007-01-29 09:19 |
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. | |
|
Activity Percentile: 0.00 Registered: 2013-11-06 11:11 |
CALVI
- The purpose of the CALVI project is to design numerical method and develop simulation and visualization codes for the solving and the visualization of partial differential equations describing particles beams and plasmas. | |
|
Activity Percentile: 0.00 Registered: 2007-06-08 11:51 |
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. | |
|
Activity Percentile: 0.00 Registered: 2009-10-04 16:34 |
ViAlEm
- Once upon a time, three lazy PhD students designed an awful set of WML macros to easily maintain their webpages. Surprisingly, more and more people started using it! So they decided to let it go public and lived happily ever after. | |
|
Activity Percentile: 0.00 Registered: 2005-10-20 16:27 |
27 projects in result set. Displaying 20 per page. Projects sorted by alphabetical order.
<1> <2>