Software Map
Project Tree
Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Operating System :: Microsoft [Remove This Filter]
4 projects in result set.
CryptoMiniSat
- CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/
The source is available on github: https://github.com/msoos/cryptominisat |
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : MIT/X Consortium License[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C\+\+[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 42.27
Registered: 2009-05-14 08:56 |
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[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft (Now Filtering)
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Scientific/Engineering[Filter]
|
Activity Percentile: 15.66
Registered: 2012-09-07 06:58 |
Expé
- Expe stands for EXperimental Point Engine. This is a research framework to manipulate point set surfaces. It includes: various splatting algorithms, MLS surfaces (HPSS, APSS, RIMLS), a MLS based volume framework, etc. |
- Development Status : 4 - Beta[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Environment : Win32 \(MS Windows\)[Filter]
- Environment : X11 Applications[Filter]
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Bordeaux - Sud-Ouest[Filter]
- Topic : Multimedia : Graphics : 3D Modeling[Filter]
- Topic : Multimedia : Graphics : 3D Rendering[Filter]
|
Activity Percentile: 0.00
Registered: 2009-02-03 12:51 |
Semantic Distillation
- Novel method of fuzzy hierarchical clustering or "semantic distillation", inspired from the theory of quantum measurement, to analyze and retrieve information from high throughput biological data. |
- Development Status : 1 - Planning[Filter]
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft (Now Filtering)
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : C[Filter]
- Programming Language : Fortran[Filter]
- Research center : Rennes[Filter]
- Topic : Scientific/Engineering : Bio-Informatics[Filter]
|
Activity Percentile: 0.00
Registered: 2008-07-18 09:52 |