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]
Research center :: Rennes [Remove This Filter]
7 projects in result set.
Javalib & Sawja
- Javalib is a library to access and manipulate Java class files from OCaml.
Sawja is a library that provides a program representation and allows its manipulation.
It also provides intermediate representations and algorithms for static analysis.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rennes (Now Filtering)
- Topic : Software Development : Compilers[Filter]
|
Registered: 2007-02-21 09:03 |
bzr
- Controller synthesis for the design of embedded systems
|
- Development Status : 4 - Beta[Filter]
- 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 : OS Independent[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Montbonnot[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 82.94
Registered: 2008-07-04 12:56 |
Nullability Inference Tool
- NIT (Nullability Inference Tool) is a tool to infer non-null annotations for fields and methods in Java programs to be able to use annotation facility in Java 5 and the checkers that are developed by third parties.
|
- Development Status : 4 - Beta[Filter]
- 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 : OS Independent[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rennes (Now Filtering)
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 30.77
Registered: 2008-04-30 12:04 |
Camelis
- Camelis is an implementation of Logical Information Systems (LIS).
LIS automatically organize data given an description of objects by logical properties, and combine boolean querying and non-hierarchical navigation when searching information.
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : X11 Applications[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 : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rennes (Now Filtering)
- Topic : Desktop Environment[Filter]
- Topic : Multimedia[Filter]
|
Activity Percentile: 0.33
Registered: 2010-12-14 15:00 |
Abilis
- Application Web basée sur le moteur logique de Camelis
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software (Now Filtering)
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : JavaScript[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rennes (Now Filtering)
- Topic : Internet : WWW/HTTP : HTTP Servers[Filter]
- Topic : System : Filesystems[Filter]
|
Activity Percentile: 0.00
Registered: 2009-06-23 15:29 |
Prégroupes
- Grammaires de prégroupes.
|
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience[Filter]
- Kind : Software (Now Filtering)
- Kind : Work group[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Programming Language : Other[Filter]
- Programming Language : PHP[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Text Editors : Text Processing[Filter]
|
Activity Percentile: 0.00
Registered: 2007-09-28 14:36 |
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[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[Filter]
- Programming Language : Objective-Caml (Now Filtering)
- Research center : Rennes (Now Filtering)
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2015-04-22 14:56 |
