Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: End Users/Desktop [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Environment :: Other Environment [Remove This Filter]
4 projects in result set.
CoqFiniteGroups
- Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant
|
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Publication\(s\)[Filter]
- Kind : Software[Filter]
- License : CeCILL[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : ML[Filter]
- Programming Language : Other[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 76.47
Registered: 2006-06-21 14:09 |
LimSee3
- LimSee3 is an open source authoring tool for multimedia documents. It features a powerful user interface and authoring model designed to ease the creation of complex time-based multimedia presentations. More on http://limsee3.gforge.inria.fr
|
- Development Status : 5 - Production/Stable[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Internet[Filter]
- Topic : Multimedia[Filter]
|
Activity Percentile: 55.88
Registered: 2006-01-10 15:05 |
Toktok
- The Toktok project has moved to a new GForge projet semagramme (https://gforge.inria.fr/projects/semagramme)
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Other Environment (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
|
Activity Percentile: 46.18
Registered: 2010-01-26 14:39 |
Mathematica Tools
- Mathematica Tools is a project gathering several Mathematica packages on various topics.
|
- Development Status : 1 - Planning[Filter]
- Development Status : 3 - Alpha[Filter]
- Development Status : 5 - Production/Stable[Filter]
- Environment : Other Environment (Now Filtering)
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop (Now Filtering)
- License : CeCILL[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : C[Filter]
- Programming Language : Other[Filter]
- Topic : Games/Entertainment[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Software Development : Code Generators[Filter]
|
Activity Percentile: 0.00
Registered: 2006-10-06 14:45 |
