Search Results for "computer-aided software engineering"

Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.

Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms.

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

AIML chung is an full AIML1.0 based standalone chat bot engine trial with dll , tts / espeak speech voices, synonyms substitutions, maths parser and 3D photorealistics openGL avatars written in compiled freebasic.Comes with GUI window and console examples, 3D world mode and a dll version to use with other programming languages like c++ or Liberty Basic , or to easily embed in your applications .Talk with your A.I. computer.

newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

EXTE recognizes temporal expressions in a text. Temporal expressions are any references to the TIME e.g.: "today", "12th march 2006", "as soon as he woke up". This analyzer will recognize three languages: Spanish, English and French.

Applications contributed for URBI (Universal RealTime Behoavior Interface). URBI is a scripted command language used to control robots (AIBO pioneer..) as well as a robot-independant execution and developpement plateform. www.urbiforge.com www.gostai.com

Jazzyk - a special-purpose programming language interpreter for development of modular intelligent agents based on a plug-in architecture.

Little b is a Lisp-based language which allows scientists to build shareable, reusable mathematical models of complex systems based on shared parts. The initial focus is molecular and multicellular networks. Project web page: http://www.littleb.org

pyDATR is an implementation of the DATR language written in Python and usable as Python library. It provides a means for persistence and some extensability with Python functions.

Maiden-core is a Linux kernel robotics API module, extensible in Erc. The Maiden Project also documents and develops the Maiden architecture for mobile robots, a set of (optional) designs and standards for robots using the Maiden-core API.

Contextual rule-based text normalization engine written in java, that can be used to implement stemming algorithms or phonetic normalizers. The project includes a french stemmer/phonetic normalizer, and a soundex implementation. Includes a Lucene Analyzer

Project to Design and Implement a new programming language. The language is named Hybrid (c), as it's nature. We "build on" existing languages (Python & others), and not start from scratch (as C++ builds on C). see Docs.