Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: Developers [Remove This Filter]
Research center :: Rennes [Remove This Filter]
Development Status :: 4 - Beta [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
|
Kind > Software
|
Browse By:
|
7 projects in result set.
bzr
- Controller synthesis for the design of embedded systems
|
- 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\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Montbonnot[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 57.86
Registered: 2008-07-04 12:56 |
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\) (Now Filtering)
- Natural Language : English[Filter]
- 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[Filter]
|
Registered: 2016-02-03 08:19 |
git-svnsync
- git<->svn server-side synchronisation
|
- 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\) (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : Python[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Software Development : Version Control[Filter]
|
Registered: 2013-12-09 13:38 |
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\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Security[Filter]
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2008-04-30 12:04 |
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\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Software Development[Filter]
|
Activity Percentile: 0.00
Registered: 2007-12-10 14:15 |
tiptop
- Tiptop reads hardware performance counters and displays statistics about running processes, such as IPC, or cache misses. The statistics are shown in real time, in a way very similar to the "top" utility.
More at http://tiptop.gforge.inria.fr.
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Console \\\\\(Text Based\\\\\) : Curses[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Research center : Rennes (Now Filtering)
- Topic : Scientific/Engineering : Visualization[Filter]
- Topic : Software Development : Debuggers[Filter]
- Topic : System : Benchmark[Filter]
|
Activity Percentile: 0.00
Registered: 2011-02-22 17:16 |
XtreemOS
- XtreemOS is Linux for the Grid. XtreemOS provides a Linux-based operating system supporting essential Grid functionalities: application execution management, data management and virtual organization management.
|
- Development Status : 4 - Beta (Now Filtering)
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Programming Language : Java[Filter]
- Research center : Rennes (Now Filtering)
- Topic : System : Clustering/Distributed Networks[Filter]
- Topic : System : Operating System Kernels : Linux[Filter]
|
Activity Percentile: 0.00
Registered: 2006-06-30 13:37 |
