Software Map
Project Tree
Now limiting view to projects in the following categories:
Topic :: Software Development [Remove This Filter]
Development Status :: 4 - Beta [Remove This Filter]
Research center :: Rennes [Remove This Filter]
Natural Language :: English [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
5 projects in result set.
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 (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Security[Filter]
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2008-04-30 12:04 |
The Kayrebt Toolset
- The Kayrebt toolset is a set of software projects dedicated to the extraction, visualisation and analysis of activity diagrams-like graphs showing a low-level representation of C code, and more particularly the Linux kernel code base.
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Scientific/Engineering : Visualization[Filter]
- Topic : Software Development (Now Filtering)
|
Registered: 2016-02-03 08:19 |
Kermeta2
- Kermeta2 is the major evolution of Kermeta : This tool helps to build other tool by weaving behavior in metamodels.
|
- Development Status : 4 - Beta (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Programming Language : Java[Filter]
- Programming Language : Other[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2012-09-07 12:50 |
PeerUnit
- The Atlas Peer-to-peer testing platform is a platform to develop tests for P2P systems.
Main features: test execution control, synchronization, volatility control.
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English (Now Filtering)
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Software Development (Now Filtering)
|
Activity Percentile: 0.00
Registered: 2007-12-10 14:15 |
6lowpan Test Platform
- A lib for running 6lowpan tests in TTCN-3 (including type definitions, codecs & adapters)
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : Eclipse Public Licence[Filter]
- Natural Language : English (Now Filtering)
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Other[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Software Development (Now Filtering)
|
Registered: 2012-05-22 14:59 |
