Software Map
Project Tree
Now limiting view to projects in the following categories:
Operating System :: POSIX [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
4 projects in result set.
mmx
- Mathemagix, a system for algebraic and analytic computation
|
- Development Status : 4 - Beta[Filter]
- Environment : Console \\\\\(Text Based\\\\\) : Curses[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- Kind : Software[Filter]
- License : OSI Approved : GNU General Public License \(GPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX (Now Filtering)
- Programming Language : C\+\+[Filter]
- Programming Language : Other[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
- Topic : Software Development : Compilers[Filter]
- Topic : Software Development : Interpreters[Filter]
|
Activity Percentile: 20.70
Registered: 2007-02-09 13:20 |
Standard C Atomics
- This project provides an implementation of the C11 interface for atomic operations, based on compiler extensions as are provided by gcc and clang.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : System Administrators[Filter]
- Kind : Software[Filter]
- License : Creative Commons : CC-by[Filter]
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX (Now Filtering)
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Compilers[Filter]
- Topic : System : Hardware[Filter]
|
Activity Percentile: 0.00
Registered: 2015-11-26 15:32 |
ProverEditor
- A lightweight multi-prover interface in Eclipse.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Intended Audience : End Users/Desktop[Filter]
- License : OSI Approved : GNU Lesser General Public License \(LGPL\)[Filter]
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft[Filter]
- Operating System : POSIX (Now Filtering)
- Programming Language : Java[Filter]
- Topic : Text Editors : Integrated Development Environments \(IDE\)[Filter]
|
Activity Percentile: 0.00
Registered: 2006-04-04 10:14 |
arbogast
- Higher order automatic differentiation with Modular C
|
- Development Status : 4 - Beta[Filter]
- Environment : Other Environment[Filter]
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License[Filter]
- Natural Language : English[Filter]
- Operating System : POSIX (Now Filtering)
- Programming Language : C[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2017-02-03 21:46 |
