OSI-Approved Open Source (85)
- GNU General Public License version 2.0 (47)
- GNU Library or Lesser General Public License version 2.0 (21)
- BSD License (6)
- MIT License (6)
- GNU General Public License version 3.0 (4)
- Apache License V2.0 (3)
- Apache Software License (2)
- GNU Library or Lesser General Public License version 3.0 (2)
- Mozilla Public License 1.1 (2)
- W3C License (2)
- Affero GNU Public License (1)
- Common Public License 1.0 (1)
- Eclipse Public License (1)
- Other License (3)
- Public Domain (3)
- Creative Commons Attribution License (1)
- Linux (95)
- Windows (89)
- Mac (74)
- Grouping and Descriptive Categories (73)
- Android (25)
- Modern (21)
- BSD (19)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
SecFlow - Secure Flow Analyzation for Java and .NET1 weekly downloads
Some More Individual - Yes! A couple of projects around Semantic Web technologies to help to establish a better accessible Web and personalize this access.1 weekly downloads
Sun Profile Project.1 weekly downloads
Syllog is a system for teaching logic, with anonymous answer logging1 weekly downloads
The TNCES Workbench enables you to calculate and analyse the reachability and dynamic graph, to draw trajectories and to translate IEC 61499 FBs into discrete timed Net Condtion/Event Systems1 weekly downloads
Virtual Reality Environment based on Internet to teach Logic and Functional Programming1 weekly downloads
bddshell is a command line program for deductive database-based analysis. Its primary focus is software vulnerability detection. It acts as a front-end to a number of other programs, such as bddbddb and joeq.1 weekly downloads
medSLT - The Medical Speech Translator1 weekly downloads
AI Now is an open source endeavour to create a general purpose Artificial Intelligence. The plan is to implement a modular architecture to incorporate AI theories as they are developed. This will provide a growing platform to test new AI theories.
-Projeto de um sistema de apoio à conclusão de causas de incêndio, dado um conjunto de evidências levantadas por um perito em incêndios -Project of a system to aid conclusions about fire causes, given a set of evidences obeserved by a fire expert
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.
Browlser lets you view Semantic Web RDF/OWL straight from your browser. Supports SWRL rules for OWL files that also define rules for displaying the data. You can give someone a URL address which directly runs the OWL application.
A collection of tools for working with the comparative data analysis ontology including import/export facilities for common phylogenetic file formats, and also a triple-store framework.
Short C++/Java/C#/Python benchmark
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.
Computer Security Model Implementations for Computer Science Graduate Students and Researchers. Implementations include the Take-Grant Protection System and a Self-Organized Critical (SOC) Lattice Model for malware behavior.
We are going to implement a pipeline for named entity classification based on Lucene and GATE.
This project aims to create a universal, XML-like format for the formal, language-independent, context-free representation of human-written text.
A modular language generator based on the theory of Functional Grammar (FG) by Simon C. Dik. Implemented using Java for the user interface, ANTLR for the input format parser and Prolog for the grammar and lexicon module, treating underlying linguistic st
GASPAR implements an dialectical argumentation framework for instantiating the artificial intellect of a software agent. In this artilect, motivations are represented in mental faculties which argue why and how these motivations can be adopted.
Generic Roster Generator. GRoG automates the process, often complex and error prone, that every boardgames and wargames player knows very well: the construction of rosters.
Howe is a spoken dialogue system project designed for browsing instructions. The project serves as a base for research on new dialogue system capabilities.
A pure java based prolog engine. This is a fork of the OpenSource Kernel Prolog from Paul Tarau (BinNet Corp.). This project was abandoned in favor of GNU Prolog for Java: http://www.gnu.org/software/gnuprologjava/
Use a language CycL or KIF to represent shared ontological integration with a first person MOO system to provide debugging and agent facilities.