RSS 20 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.

Download Website Updated 15 Mar 2005 Ellogon

Screenshot
Pop 52.31
Vit 1.82

Ellogon is a multi-lingual, cross-platform, general-purpose language engineering environment, developed in order to aid both researchers who are doing research in computational linguistics, as well as companies who produce and deliver language engineering systems. As a language engineering platform, it offers an extensive set of facilities, including tools for processing and visualising textual/HTML/XML data and associated linguistic information, support for lexical resources (like creating and embedding lexicons), tools for creating annotated corpora, accessing databases, comparing annotated data, or transforming linguistic information into vectors for use with various machine learning algorithms.

Download Website Updated 07 Oct 2011 Fast Artificial Neural Network Library

Screenshot
Pop 179.90
Vit 5.35

Fast Artificial Neural Network Library is a neural network library that implements multilayer artificial neural networks in C with support for both fully connected and sparsely connected networks. Cross-platform execution in both fixed and floating point are supported. It includes a framework for easy handling of training data sets. It is easy to use, versatile, well documented, and fast. C++, Perl, PHP, .NET, Python, Delphi, Octave, Pure Data, and Mathematica bindings are available. A reference manual accompanies the library with examples and recommendations on how to use the library. A graphical user interface is also available for the library.

Download Website Updated 07 Jul 2010 GNU CLISP

Screenshot
Pop 456.07
Vit 11.63

GNU CLISP is an ANSI Common Lisp implementation with an interpreter, compiler, debugger, object system (CLOS, MOP), sockets, fast bignums, arbitrary precision floats, and a foreign language interface that runs on most Unix variants and Win32.

Download Website Updated 27 Oct 2005 JFDraw

Screenshot
Pop 114.41
Vit 3.99

JFDraw is a Java vector graphics drawing application and library package. It is focused on vector graph drawing field. It is useful for mechanical, electronic, architectural graph drawing applications, or even business process or workflow graphs.

No download Website Updated 17 Apr 2006 Merchant of Venice

Screenshot
Pop 77.73
Vit 3.32

Merchant of Venice is a stock market trading programme that supports portfolio management, charting, technical analysis, paper trading, and experimental methods like genetic programming. It features a graphical user interface with online help and includes full documentation. It runs on UNIX, Mac OS X, and Windows.

Download Website Updated 07 Jun 2008 Neural Network Framework

Screenshot
Pop 77.29
Vit 4.99

Neural Network Framework is a C++ framework to develop, simulate, and analyze arbitrary complex neural networks. The programmer can use the classes provided to create neural networks with arbitrary topology and mixed type of neurons. It's very easy to add customized neurons and layers.

Download Website Updated 26 Oct 2002 OpenAI

Screenshot
Pop 115.59
Vit 2.93

The OpenAI site is centered around an Open Source project and community involving artificial intelligence. The project itself is the creation of a set of tools that are considered to be models of human intelligence or biomimicry. These tools are intended to be integrated into applications or used stand alone for research.

No download Website Updated 10 Apr 2010 Orbital library

Screenshot
Pop 52.12
Vit 2.75

The Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and computer science. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algorithms. Generally speaking, the conceptual idea behind the Orbital library is to provide extensional services and components that surround the heart of many scientific applications, hence the name "Orbital library". In order to satisfy the requirements of high reusability, the design of this foundation class library favors flexibility, conceptual simplicity, and generalization. Many sophisticated problems can be solved easily with its adaptable components.

Download Website Updated 08 Apr 2004 Othello Master

Screenshot
Pop 28.28
Vit 60.53

Othello Master is a sophisticated 3-D game engine for the game of Othello. It boasts many viewing angles, various strategies and levels of difficulty, research capabilities, and automation options.

Screenshot

Project Spotlight

Code Manager 2

A simple single site code management and package management system.

Screenshot

Project Spotlight

WireframeSketcher

A wireframes, mockup, and prototype tool for desktop, Web, and mobile applications.