You’re probably paying too much for cell phone service. Wirefly compares hundreds of plans to help you save. Enter what you need (minutes, data, texts) into Wirefly’s innovative plan comparison tools and see your savings instantly.Sponsored Listing
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Euler Yet another proof Engine29 weekly downloads
The CommGen platform is intended to be a simple, scalable integration platform for small to medium problem sets. The architecture is simple, consisting of a distributed kernel, distributed O/S, agent and application layer.
Delfos is a network of Artificial Intelligence agents that collect data from Internet and is able to take decisions and answer questions based on the data that has been stored previously. The structure of the network is Pr2Pr (program to program).
Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.
"Nuclos" is an object-oriented framework which incorporates basic functionality to build "business" software.
Oopl (rhymes with "scruple") is an object-oriented extension for Prolog. This kernel now lets you write Prolog programs making use of all the advantages of working with classes, instances, attributes and service-like predicates.
Pythagoras is a dynamic geometry software, providing construction, evaluation, manipulation and visualization of geometric objects in 2D and 3D eucledian space. Natural Language support, Smart Agent.
YANDES - Yet Another Natural Deduction System