OSI-Approved Open Source (17)
- GNU General Public License version 2.0 (6)
- GNU Library or Lesser General Public License version 2.0 (6)
- MIT License (4)
- Apache License V2.0 (3)
- BSD License (2)
- Affero GNU Public License (1)
- Apache Software License (1)
- Computer Associates Trusted Open Source License 1.1 (1)
- Eclipse Public License (1)
- GNU General Public License version 3.0 (1)
- GNU Library or Lesser General Public License version 3.0 (1)
- Mozilla Public License 1.1 (1)
- Open Software License 3.0 (1)
- W3C License (1)
- Other License (2)
- Public Domain (2)
- Linux (19)
- Windows (19)
- Mac (13)
- Grouping and Descriptive Categories (12)
- Android (7)
- BSD (6)
- Modern (6)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
ECLiPSe Constraint Logic Programming System117 weekly downloads
Syntax tree editor for rapid annotation of existing text34 weekly downloads
Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.30 weekly downloads
Java Internet Prolog (Moved to GitHub)5 weekly downloads
A plugin for Code::Blocks IDE to support CxProlog.2 weekly downloads
This project assembles the implementations of inference engines for CHORD, an object-oriented extension of CHRD.1 weekly downloads
Cedalion is a programming language that allows its users to add new abstractions and define (and use) internal DSLs. Its innovation is in the fact that it uses projectional editing to allow the new abstractions to have no syntactic limitations.1 weekly downloads
The Generic Eclipse Modeling System is an MDD tool for Eclipse that allows for the rapid development of GEF modeling plugins. In GEMS, developers specify rules for a domain language using a metamodel and the tool generates a plugin for the specification1 weekly downloads
A java modeling framework based on frame-slot-facet Minksy's theory1 weekly downloads
SecFlow - Secure Flow Analyzation for Java and .NET1 weekly downloads
A program for word-by-word translation (glossing) of texts between languages. Currently there is a web interface for glossing passages in Tolkien's Elvish (specifically, Quenya) into English.1 weekly downloads
ArchSync is an Eclipse plugin whose purpose is to keep architectural level Use Case Map specifications up-to-date semi-automatically using real execution traces from an evolving implementation.
Computer Diagnoses Expert System to help users repairing them computers themselves. this make the user interact with the system and be happy to mind them computers themselves.
We are going to implement a pipeline for named entity classification based on Lucene and GATE.
Eclipse plugin for Prolog/Mali, an implementation of LambdaProlog
The project will integrate viable aspects of the semantic web technologies for use with advanced Semantic SQLCLI based XML DBMS. The purpose of this project is develop a GUI Application for a Suite of ECM Services.
The UEMLBase Plugin for Protege-OWL aids development, management and use of the Unified Enterprise Modelling Language version 2 (UEML2). It was developed in context of the EU-funded Network of Excellence, Interop-NoE (IST-508011).
reputron is a knowledge extraction engine platform that covers all aspect of text mining, relevance, indexing and querying on a corpus of text documents.
ProDT is a Prolog Integrated Development Environment (IDE) aiming to be as rich in functionality as the Eclipse's java IDE, and to support any standard Prolog implementation. Currently is being supported SWI Prolog, B-Prolog and XSB Prolog50 weekly downloads