Software Map
Project Tree
Now limiting view to projects in the following categories:
License :: OSI Approved :: BSD License [Remove This Filter]
Environment :: Console (Text Based) [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]
Development Status :: 3 - Alpha [Remove This Filter]
4 projects in result set.
Zenon (automated theorem prover)
- Automated theorem prover for first order logic with equality, based on the tableau method.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Intended Audience : Other Audience[Filter]
- Kind : Software[Filter]
- License : OSI Approved : BSD License (Now Filtering)
- 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 : Rocquencourt[Filter]
- Topic : Scientific/Engineering : Artificial Intelligence[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 4.63
Registered: 2014-11-06 09:33 |
Dynamic SystemJ
- Dynamic SystemJ (DSystemJ) is a new language targeting easy development of mobile and dynamic distributed systems. DSystemJ is based on formal semantics and thus potentially verifiable, no more debug and deploy cycles.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Programming Language : Java[Filter]
- Programming Language : Unix Shell[Filter]
- Research center : Montbonnot[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2010-03-17 16:52 |
TLA+ tools
- The Proof Manager and the GUI toolbox for the TLA+2 specification and proof language.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License (Now Filtering)
- Natural Language : English[Filter]
- Operating System : MacOS[Filter]
- Operating System : Microsoft : Windows[Filter]
- Operating System : POSIX : GNU/Linux[Filter]
- Programming Language : Objective-Caml[Filter]
- Research center : Saclay - Ile de France[Filter]
- Topic : Scientific/Engineering : Mathematics[Filter]
|
Activity Percentile: 0.00
Registered: 2009-09-21 09:47 |
Modular C
- This is a reference implementation of the extension to the C programming language.
|
- Development Status : 3 - Alpha (Now Filtering)
- Environment : Console \(Text Based\) (Now Filtering)
- Intended Audience : Developers (Now Filtering)
- Kind : Software[Filter]
- License : OSI Approved : BSD License (Now Filtering)
- Natural Language : English[Filter]
- Operating System : OS Independent[Filter]
- Operating System : POSIX[Filter]
- Programming Language : C[Filter]
- Programming Language : Unix Shell[Filter]
- Research center : Nancy[Filter]
- Topic : Software Development : Code Generators[Filter]
- Topic : Software Development : Compilers[Filter]
|
Activity Percentile: 0.00
Registered: 2015-06-29 12:27 |
