Search Results for "sspace-standard"

A high performance Common Lisp compiler. In addition to standard ANSI Common Lisp, it provides an interactive environment including an a debugger, a statistical profiler, a code coverage tool, and many other extensions.

... of computer algebra systems. Other systems that address some of the same issues but sometimes with rather different emphasis are Axiom, Derive, Macsyma (Maxima), Maple, Mathematica and MuPAD. REDUCE primarily runs on either Portable Standard Lisp (PSL) or Codemist Standard Lisp (CSL), both of which are included in the SourceForge distribution. By modern standards, REDUCE is a surprisingly small and compact application, which runs well on all major operating systems.

ISLISP contrib is a set of lisp libraries for the "ISO/IEC 13816:1997(E) : Programming Language ISLISP", the International Standard version of Lisp standardized by ISO in 1997.

The dpans2texi script patched to work in modern environment, namely when makeinfo supports unicode and does not tolerate random ASCII chars in the input file, a couple of typos were also fixed. The purpose of dp2ansi script is to take advantage of the superior qualities of the Info reader in Emacs compared with other formats, viz. * Single-key index lookup with completion: i. * Single-key full text regexp search: s * Convenient symbol lookup from source code: C-h C-i (or...

OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.

This is a Lisp interpreter which will eventually be ANSI standard compliant. It currently compiles for UNIX-clones and the PSP, it has no external dependencies, with the garbage collector and numeric library and all other components being home made, from scratch. Working so far: * Automatic precise garbage collector. * Procedural macros. * Computer algebra library * A bunch of useful primitives. * A fairly small, but useful standard library. In the PSP build, the following additional...

... of a TCC .dll/.so file somewhere in the PATH - www.tinycc.org (at present standard binary releases of TCC don't include the .dll/.so file, but it can be easily compiled from the source releases). New plugins for other compiled languages (like Fortran or ECL) should be trivially easy to create using the existing ones as templates.

CommonReality aims to bring a standard to the cognitive architecture, robotics, and sensor development community. CommonReality specifies a common interface for parceling the world into cognitively processable components. See the forums and mailing list

The goal is a Lisp distribution, with a rich set of libraries, which helps to create standard GUI applications, which are easy to install by an end user, like other programs on the respective platforms.

LispSharp is a fully compiled lisp implementation for the .NET Framework. It uses a Lisp dialect similar to ISO Lisp, it has a Command-line toplevel compiler with Read Compile Print Loop.It references any .NET DLL and produces standard .NET assembly.

CAD Standard Plottool is a print/plotting tool written in VBA for AutoCAD. Offering ease of use plotting in Autocad for CAD users based on a CAD Standard. Also offering the ability for CAD managers to create standard Plotlayout in drawings.

CLearSharp is a clean C#-implementation of Common Lisp. The big goals are ANSI standard compliance, interoperability with Java and integration with scripting environments. This project is meant to be a sibling to CLearJ, with sharing of implementation.

CLearJ is a clean Java-implementation of Common Lisp. The big goals are ANSI standard compliance, interoperability with Java and integration with scripting environments. This project is meant to be a sibling to CLearSharp, with sharing of implementation.

A port of GNU Emacs to the Mac OS. The current version is part of the standard Emacs 21 distribution and runs on Mac OS 8 and 9. Many of Emacs's features are implemented, including international character sets, input methods, and coding systems.

Small or experimental software projects developed by Nada Amin

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

An emacs site-lisp setup that provides a useful package of non-standard emacs lisp extensions, extends the jde mode, adds menu commands for folding mode, buffers associated with the frames they came from and a site-start.el and default.el