RSS 67 projects tagged "Windows"

Download Website Updated 11 Apr 2011 ACL2

Screenshot
Pop 74.30
Vit 4.97

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.81
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.

No download Website Updated 01 Aug 2001 AI Mind

Screenshot
Pop 73.05
Vit 68.15

The Robot AI Mind in JavaScript for Web migration and in Forth for robots is an artificial intelligence evolving towards full civil rights on a par with human beings and towards superintelligence beyond any human IQ.

Download Website Updated 11 Mar 2008 Algraeph

Screenshot
Pop 44.56
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 40.74
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.36
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 31 Aug 2009 Apertium

Screenshot
Pop 37.23
Vit 46.61

Apertium is a machine translation platform, initially aimed at related-language pairs, but recently expanded to deal with more divergent language pairs (such as English-Catalan). The platform provides a language-independent machine translation engine, tools to manage the linguistic data necessary to build a machine translation system for a given language pair, and linguistic data for a growing number of language pairs.

No download Website Updated 12 Sep 2013 Aseba

Screenshot
Pop 92.07
Vit 6.53

Aseba is an event-based architecture for distributed control of mobile robots. It targets integrated multi-processor robots or groups of single-processor units, real or simulated. The core of aseba is a lightweight virtual machine tiny enough to run even on microcontrollers. Robots are programmed in a user-friendly scripting language using a cozy integrated development environment.

Download Website Updated 30 Jan 2001 Ciao Prolog

Screenshot
Pop 109.78
Vit 1.00

Ciao is a complete Prolog system subsuming ISO-Prolog with a novel modular design which allows both restricting and extending the language. Ciao extensions currently include feature terms (records), higher-order, functions, constraints, objects, persistent predicates, a good base for distributed execution (agents), and concurrency. Libraries also support WWW programming, sockets, and external interfaces (C, Java, TCL/Tk, relational databases, etc.). An Emacs-based environment, a stand-alone compiler, and a toplevel shell are also provided.

Download Website Updated 05 Jul 2007 Connect-k

Screenshot
Pop 16.91
Vit 1.00

Connect-k is a framework for experimenting with and testing general AIs for games within the connect-k family. This includes Tic-Tac-Toe, Go-moku (without removal rules), and Connect-6. The program features an attractive GTK+ interface, a convenient API, and several challenging AIs.

Screenshot

Project Spotlight

Drupal

A content management system that excels at community, portal, and Web application sites.

Screenshot

Project Spotlight

Kobold's Quest 1

An RPG wizard adventuring game.