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
|
Browse By:
|
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 |