Software Map

Project Tree

Now limiting view to projects in the following categories:
Kind :: Software [Remove This Filter]
Development Status :: 3 - Alpha [Remove This Filter]
Operating System :: POSIX :: GNU/Linux [Remove This Filter]

Environment > Console \(Text Based\) Curses (3 projects) Newt (0 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

15 projects in result set.

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 (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : Microsoft : Windows : Windows NT/2000[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 58.29

Registered: 2006-05-11 20:47

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 (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 40.86

Registered: 2014-11-06 09:33

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 (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Nancy[Filter]

Activity Percentile: 32.86

Registered: 2010-01-26 14:39

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.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : MPI[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Intended Audience : Other Audience[Filter]
Kind : Publication\(s\)[Filter]
Kind : Software (Now Filtering)
Kind : Work group[Filter]
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Operating System : POSIX : SunOS/Solaris[Filter]
Programming Language : C[Filter]
Programming Language : C\+\+[Filter]
Programming Language : Fortran[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 28.57

Registered: 2007-06-08 11:51

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 (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
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: 19.71

Registered: 2008-06-26 14:22

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 (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Java[Filter]
Research center : Rennes[Filter]
Topic : Security[Filter]

Activity Percentile: 15.14

Registered: 2014-09-29 13: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 (Now Filtering)
License : OSI Approved : Mozilla Public License \(MPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
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

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 (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2015-04-22 14:56

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 (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Ruby[Filter]
Research center : Montbonnot[Filter]
Topic : System : Clustering/Distributed Networks[Filter]
Topic : System : Emulators[Filter]

Registered: 2009-03-29 13:14

SOLEIL - Solver for integral equations by collocation methods

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : OpenMP[Filter]
Intended Audience : Developers[Filter]
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : C[Filter]
Research center : Nancy[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2011-03-24 16:48

TLA+ tools - The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-09-21 09:47

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 (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
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

Proof Manager - Proof Manager is a test platform for SMT solvers, useful to run series of benchmarks (locally and distributed) and analyze results through a graphical interface.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications : Gnome[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2010-09-24 13:31

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 (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows : Windows 95/98/2000[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
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

ArchSat - ArchSat is a prototype of a very modular SMT theorem prover using tableaux rules for deduction.

Development Status : 3 - Alpha (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers[Filter]
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Registered: 2015-07-17 09:15