Software Map
Project Tree
Now limiting view to projects in the following categories:
Programming Language :: Objective-Caml [Remove This Filter]
9 projects in result set.
Why3
- Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
The project is no longer maintained here. You can find the repository and the issue tracker at https://gitlab.inria.fr/why3/why3/
|
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows[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 : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 95.51
Registered: 2010-11-05 10:44 |
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[Filter]
- Kind : Software[Filter]
- 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[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 49.10
Registered: 2006-05-11 20:47 |
Simplet
- Simplet is a solver for tropical linear optimization problems. It relies on the tropicalization of the simplex method.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 25.15
Registered: 2015-02-17 11:36 |
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[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : Public Domain[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- 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[Filter]
- Kind : Software[Filter]
- 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 |
The Why platform
- The Why platform is an environment for deductive verification of C and Java programs.
|
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2007-10-18 11:50 |
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[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- 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 |
Mlpost
- Mlpost is an OCaml library for scientific drawing. It allows, in particular, inclusion of LaTeX fragments. More information and examples can be found here: http://mlpost.lri.fr/
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Multimedia : Graphics : Editors : Vector-Based[Filter]
- Topic : Multimedia : Graphics : Presentation[Filter]
|
Activity Percentile: 0.00
Registered: 2010-04-06 11:13 |
Frama-C
- Frama-C is a platform for static analysis of C source code
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : Microsoft : Windows : Windows NT/2000[Filter]
- Operating System : POSIX[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Saclay - Ile de France[Filter]
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2008-01-23 14:35 |
