Software Map
Project Tree
Now limiting view to projects in the following categories:
Intended Audience :: End Users/Desktop [Remove This Filter]
5 projects in result set.
CoqFiniteGroups
- Formal proof of the Feit-Thompson theorem
Ssreflect plugin for the Coq proof assistant
|
- Environment : Other Environment[Filter]
- Intended Audience : Developers[Filter]
- 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: 77.84
Registered: 2006-06-21 14:09 |
Simple Screen Viewer
- Un utilitaire de partage d'écran : ultra-simple d'utilisation, sans logiciel à installer chez le client, qui passe les firewall, compatible Windows/Linux/MacOS-X, sécurisé.
|
- Development Status : 4 - Beta[Filter]
- Environment : Other Environment[Filter]
- Environment : Web Environment[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Java[Filter]
- Research center : Montbonnot[Filter]
- Topic : Communications : Conferencing[Filter]
|
Activity Percentile: 0.00
Registered: 2008-02-14 14:37 |
Sémagramme
- Regroupement des projets publics de l'équipe Sémagramme
|
- Development Status : 4 - Beta[Filter]
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Environment : Web Environment[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 0.00
Registered: 2011-06-15 08:03 |
Holide
- An HOL to Dedukti translator.
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering[Filter]
|
Registered: 2013-05-31 09:06 |
EMBAL
- The EMBAL (Electro-Magnetic Brain Activity Localization) provides a set of tools to solve the inverse problem involved in neuronal source localization using MEG and EEG.
|
- Development Status : 4 - Beta[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : End Users/Desktop (Now Filtering)
- Kind : Software[Filter]
- License : CeCILL-B[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Research center : Sophia Antipolis[Filter]
- Topic : Scientific/Engineering : Medical Science Apps\.[Filter]
|
Activity Percentile: 0.00
Registered: 2008-09-25 11:43 |
