Software Map

Project Tree

Now limiting view to projects in the following categories:
Operating System :: POSIX :: GNU/Linux [Remove This Filter]
Programming Language :: Objective-Caml [Remove This Filter]
Kind :: Software [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]

Intended Audience > Developers	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

20 projects in result set.

SODIAC - SODIAC stands for SOftware DIstribution Analysis Chain. Documentation is available on the wiki: http://gforge.inria.fr/plugins/wiki/index.php?id=929&type=g

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : System Administrators[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]
Programming Language : Java[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt[Filter]
Topic : Software Development[Filter]

Activity Percentile: 66.22

Registered: 2007-09-06 20:42

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[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
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 (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 56.52

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[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
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 (Now Filtering)
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 28.43

Registered: 2014-11-06 09:33

LexiComp - The Lexicomp project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 2 - Pre-Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft : Windows[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Research center : Nancy[Filter]
Topic : Software Development : Compilers[Filter]

Activity Percentile: 22.74

Registered: 2009-11-10 11:10

Toktok - The Toktok project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
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 (Now Filtering)
Research center : Nancy[Filter]

Activity Percentile: 19.40

Registered: 2010-01-26 14:39

Dedukti - A type-checker for λΠ-modulo user-defined rewrite rules. The latest version is available under opam.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Programming Language : Other[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 12.37

Registered: 2012-10-26 11:28

OCaml-share - Share is a(nother) library of useful OCaml functions and modules. But it can be used as a classic OCaml library (download, compile, install, use and link with), or with Caml-get, since all elements are exported in a caml-get archive.

Development Status : 4 - Beta[Filter]
Environment : Other Environment[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt[Filter]
Topic : Software Development[Filter]

Activity Percentile: 0.00

Registered: 2006-03-02 09:04

Sémagramme - Regroupement des projets publics de l'équipe Sémagramme

Development Status : 4 - Beta[Filter]
Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : Web Environment[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Natural Language : French[Filter]
Operating System : MacOS[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2011-06-15 08:03

Rainbow - This project aims at developing a grammar for termination proofs and a tool for automatically certifying those proofs using the Coq library CoLoR.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Topic : Scientific/Engineering[Filter]

Registered: 2006-09-07 09:02

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

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
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 (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2009-09-21 09:47

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[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
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

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

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

Registered: 2015-07-17 09:15

Coqine - A Coq to Dedukti translator.

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

Activity Percentile: 0.00

Registered: 2013-05-24 11:51

Holide - An HOL to Dedukti translator.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL-B[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Registered: 2013-05-31 09:06

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[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
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 (Now Filtering)
Research center : Rennes[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2015-04-22 14:56

Yacclib - Yacclib is an OCaml library to parse and print ocamlyacc .mly files. A graphical editor of ocamlyacc files is included.

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications[Filter]
Intended Audience : Developers (Now Filtering)
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 : Objective-Caml (Now Filtering)
Research center : Rocquencourt[Filter]
Topic : Software Development : Code Generators[Filter]

Activity Percentile: 0.00

Registered: 2005-11-29 08:30

Transcend With SOS - A project related to my PhD thesis. The aim of the work is the certification of the lower and upper bounds of transcendental and semi-algebraic functions with COQ and external SOS solvers like SparsePOP, Gloptipoly, SDP libraries like CSDP or SDPA.

Development Status : 1 - Planning[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : Public Domain[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 (Now Filtering)
Research center : Saclay - Ile de France[Filter]
Topic : Scientific/Engineering : Mathematics[Filter]

Activity Percentile: 0.00

Registered: 2012-01-08 22:29

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[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications : Gnome[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
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

ParConInE - The Parconine project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 3 - Alpha[Filter]
Environment : Web Environment[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
License : CeCILL[Filter]
Natural Language : English[Filter]
Operating System : POSIX : GNU/Linux (Now Filtering)
Programming Language : Objective-Caml (Now Filtering)
Research center : Nancy[Filter]
Topic : Scientific/Engineering : Data Mining[Filter]
Topic : Scientific/Engineering : Visualization[Filter]

Activity Percentile: 0.00

Registered: 2010-11-09 15:38

Dep2Pict - The Dep2pict project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\)[Filter]
Environment : X11 Applications : Gnome[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Intended Audience : Other Audience[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 (Now Filtering)
Research center : Nancy[Filter]
Topic : Multimedia : Graphics : Editors[Filter]
Topic : Multimedia : Graphics : Graphics Conversion[Filter]
Topic : Multimedia : Graphics : Viewers[Filter]

Activity Percentile: 0.00

Registered: 2010-02-16 08:17