Software Map

Project Tree

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

Topic > Scientific/Engineering Artificial Intelligence (33 projects) Astronomy (0 projects) Bio-Informatics (27 projects) Data Mining (9 projects) Electronic Design Automation (EDA) (5 projects) Human Machine Interfaces (12 projects) Mathematics (81 projects) Medical Science Apps. (24 projects) Visualization (41 projects)	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

5 projects in result set.

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[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Nancy[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2011-06-15 08:03

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[Filter]
Programming Language : Objective-Caml (Now Filtering)
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Registered: 2013-05-31 09:06

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[Filter]
Programming Language : Objective-Caml (Now Filtering)
Programming Language : Other[Filter]
Research center : Rocquencourt[Filter]
Topic : Scientific/Engineering[Filter]

Activity Percentile: 0.00

Registered: 2012-10-26 11:28

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[Filter]
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

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[Filter]
Programming Language : Objective-Caml (Now Filtering)
Topic : Scientific/Engineering[Filter]

Registered: 2006-09-07 09:02