Search Results for "mac os linux"

...It features its own programming language, and many users have contributed useful packages in various areas over the decades. It is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Website: https://maxima.sourceforge.io Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages

REDUCE is an interactive system for general algebraic computations of interest to mathematicians, scientists and engineers. It can be used interactively for simple calculations but also provides a flexible and expressive user programming language. The development of the REDUCE computer algebra system was started in the 1960s by Anthony C. Hearn. Since then, many scientists from all over the world have contributed to its development. REDUCE has a long and distinguished place in the...

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.

wxMaxima is a cross-platform graphical front-end for the computer algebra system Maxima based on wxWidgets. It provides nice display of mathematical output and easy access to Maxima functions through menus and dialogs. This project has moved to github and can be reached at http://wxmaxima-developers.github.io/wxmaxima/

Analog Insydes is a Mathematica toolbox for symbolic analysis of analog electronic circuits. This project provides a set of free add-ons to Analog Insydes, including a Java front-end and a native netlister for Cadence's Analog Design Environment (ADE).

MatLisp is a package for Common Lisp for handling matrices with real-valued or complex-valued elements. BLAS is used for elementary matrix operations and LAPACK is used for linear algebra routines.

N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software.

An efficient Java-based Multi-agent Platform implementing the micro-agent concept µ² offering network support and multiple agent implementation languages. Detailed instructions and documentation can be found under http://www.micro-agents.net. This project has been moved to Github.

This is a parser in Java for Lisp S-expressions. An S-expression or sexp (for symbolic expression) is a convention for representing data using parentheses.

Mockmma uses wxMaxima to evaluate a small subset of commands in the syntax of Mathematica (tm), which is a trademark of Wolfram Research Incorporated (WRI). Mockmma is in no way associated with WRI.

The purpose of this project is to make public tools to leverage the advanced design capabilities of Cadence in our micro-electrical-mechanical systems (MEMS) designs.

FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics

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

LISPCL is a Lisp client for the Player project.

The PGMFI project has as its goal total understanding of the computerized systems such as ECUs, ABS controllers and other devices present in Honda vehicles. Currently, the Non-Commercial-Sharealike license is reccomended for all releases.

mupacs is a lisp mode for editing MuPAD code (automatic indentation, fontification, ...), as well as running MuPAD in a subshell, with support for debugger and online documentation

A.I. security app. Development ceased.

Connect distributed simulation model components through CORBA

Computational modelling is a interdisciplinary field spanning many techniques and programming languages. AgenTools is a project dedicated to establishing increased modularity in scientific computing packages and a portal linking to other existing project

kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.

Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

Example-based Development of Grammars (EDG) is a system implemented in Lisp for building natural language grammars and lexicons incrementally and interactively.

Fractal KISS means "keep fractals simple and sensible". The objective is to discover a "common-sense" understanding of fractals and their utility.

SKESD stands for "Structured Knowledge: Entry, Search and Display". The aim of the project is to create a cross between a Wiki and an AI knowledge representation system.

ScenConnect shows scenarios as networks of situation and event tag sets, for fast comparisons. It links scenarios to tags, scores, and other metadata, creating situationals suitable for search, mining, machine learning, and planning.