Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: MacOS [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
License :: OSI Approved :: GNU General Public License (GPL) [Remove This Filter]
Intended Audience :: Other Audience [Remove This Filter]
3 projects in result set.
MMG3D
- MMG3d is an isotropic/anisotropic tetrahedral fully automatic remesher
|
- Development Status : 5 - Production/Stable[Filter]
- Development Status : 6 - Mature[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : MacOS (Now Filtering)
- Operating System : Microsoft[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 51.43
Registered: 2012-09-07 06:58 |
Rapid HYbrid MultICore Simulator
- Multicore simulators are valuable tools for evaluating design trade-offs and research ideas. However, simulation process is an extremely time consuming task. RHYMICS project pretends to accelerate the simulation without sacrifice excessive accuracy.
|
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : MacOS (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Assembly[Filter]
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : System : Hardware[Filter]
|
Activity Percentile: 0.00
Registered: 2010-02-17 15:38 |
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\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\) (Now Filtering)
- Natural Language : English[Filter]
- Operating System : MacOS (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2015-04-22 14:56 |
