Software Map
Project Tree
Now limiting view to projects in the following categories:
License :: OSI Approved :: BSD License [Remove This Filter]
Operating System :: POSIX :: GNU/Linux [Remove This Filter]
Intended Audience :: Other Audience [Remove This Filter]
Natural Language :: English [Remove This Filter]
3 projects in result set.
traduction Speech to Text - PAROLE@LORIA
- MaParole is the speech translation system developped at INRIA PAROLE team. This project and associated source code and documentation shall remain private during early developpment stages but will be made public as soon as it reaches acceptable maturity.
|
- Development Status : 2 - Pre-Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux (Now Filtering)
- Programming Language : C[Filter]
- Programming Language : C\+\+[Filter]
- Research center : Nancy[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
|
Activity Percentile: 0.00
Registered: 2011-01-06 10:25 |
Barra
- Barra is a GPU architecture simulator. It simulates CUDA programs at the assembly language level (Tesla ISA). Barra is a tool for research on computer architecture, and can also be used to debug, profile and optimize CUDA programs at the lowest level.
|
- Development Status : 4 - Beta[Filter]
- Development Status : 5 - Production/Stable[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License (Now Filtering)
- Natural Language : English (Now Filtering)
- Operating System : POSIX : GNU/Linux (Now Filtering)
- Programming Language : C\+\+[Filter]
- Research center : Rennes[Filter]
- Topic : Software Development : Debuggers[Filter]
- Topic : System : Emulators[Filter]
|
Activity Percentile: 0.00
Registered: 2014-03-19 13:12 |
Zenon (automated theorem prover)
- Automated theorem prover for first order logic with equality, based on the tableau method.
|
- Development Status : 3 - Alpha[Filter]
- Environment : Console \(Text Based\)[Filter]
- Intended Audience : Developers[Filter]
- Intended Audience : Other Audience (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License (Now Filtering)
- Natural Language : English (Now Filtering)
- Natural Language : French[Filter]
- Operating System : MacOS[Filter]
- Operating System : POSIX : GNU/Linux (Now Filtering)
- Programming Language : Objective-Caml[Filter]
- Research center : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2014-11-06 09:33 |
