RSS 108 projects tagged "Artificial Intelligence"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 73.97
Vit 4.96

ACL2 is a mathematical logic, programming language, and mechanical theorem prover based on the applicative subset of Common Lisp. It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been used for the formal verification of commercial microprocessors, the Java Virtual Machine, interesting algorithms, and so forth.

No download Website Updated 09 May 2003 ADIC

Screenshot
Pop 34.55
Vit 1.79

ADIC (any door is closed) is a cooperative multiplayer networked game. The goal is to lock all players of the other teams. The rules are simple, the style is 80s, and it is fun to play.

Download Website Updated 14 Aug 2003 AIBash

Screenshot
Pop 44.72
Vit 1.46

AIBash is a project which aims to make Bash act more intelligently. It features typing error-correction and the ability to learn that certain file suffixes are associated with certain programs so that other programs are filtered out while pressing TAB. Other features are planned for the future.

Download Website Updated 13 Oct 2004 AKIRA

Screenshot
Pop 24.62
Vit 58.96

The Artificial Knowledge Interface for Reasoning Applications (AKIRA) project aims to create a C++ development framework to build cognitive architectures and complex artificial intelligent agents featuring KQML, fuzzy logic, neural networks, fuzzy cognitive maps, and DIPRA. DIPRA is a distributed version of the BDI (Belief Desire Intention) goal oriented model.

No download Website Updated 28 Jun 2012 Aivengo

Screenshot
Pop 17.06
Vit 25.74

Aivengo is an automated trading system (ATS) which uses Digital Signal Processing and Artificial Intelligence tools like Artificial Neuronal Networks, Genetic Algorithms, Fuzzy Logic, and chaos theory to predict financial market behavior.

Download Website Updated 11 Mar 2008 Algraeph

Screenshot
Pop 44.36
Vit 1.00

Algraeph is a tool for manual alignment of linguistic graphs, such as phrase structure trees or dependency structures, where each node corresponds to a subsequence of the analyzed input sentence. It allows you to express the similarity between two graphs by aligning their nodes and attaching relation labels to these alignments. Graphs are read from one or more graphbanks (or treebanks) in the GraphML or Alpino formats. Alignment relations are user-defined and are stored in a simple XML format, which can be used for further processing. The resulting parallel graph corpus is a useful data set for many tasks in computational linguistics and natural language processing.

Download Website Updated 04 Sep 2002 Allegro Common Lisp

Screenshot
Pop 41.23
Vit 1.00

Allegro Common Lisp is a full ANSI Common Lisp (1994) implementation. It contains many extensions, including 32- and 64-bit native compilation, efficient built-in memory management, foreign functions (for interfacing with other languages), multiprocessing, UNICODE and locale support, XML/HTML parsers, a Web client and server, GTK+ interface (1.2 and 2.0), Java interface, OLE interface (Windows only), profiler, regular expressions, an XML RPC implementation, native Lisp RPC, sockets, DLL and shared library support, and more.

Download No website Updated 01 Oct 2003 AmphetaRate

Screenshot
Pop 22.72
Vit 1.00

AmphetaRate is a news server that features "collaborative filtering", allowing users rate the news from their aggregators. Based on these ratings, it delivers completely personalized news.

Download Website Updated 21 Oct 2005 Amygdala

Screenshot
Pop 39.24
Vit 2.06

Amygdala is a C++ spiking neural network library. It includes several neuron models, SMP support, and facilities for developing SNNs with genetic algorithms. An OpenGL-based Visualizer allows you to watch the simulation as it runs.

No download Website Updated 05 Feb 2009 Asimulator

Screenshot
Pop 22.36
Vit 43.59

Asimulator is a simulator for intelligent agents, useful to practice search algorithms, in AI courses, or for fun. The agent's goal is to understand precepts and respond with actions in a virtual world (consisting of a grid up to 129x129) to maximize a score. The simulator opens a socket, so any language can be used for agents. (Samples in Ada are included.) Agent debug output can be shown. Both text in a log window and symbols on the map can be used to visualize thoughts.

Screenshot

Project Spotlight

TOMUSS

An interactive Web spreadsheet allowing concurrent table editing.

Screenshot

Project Spotlight

Text2GUI

A program that generates Java GUIs from natural language.