Pilo Visual Tools for Scheme (Pvts) is a basic interpreter with visual tools for Scheme (LISP). Written in Java, PVTS has an interpreter and three visualization modules: a global environment viewer, a function call viewer, and a data structure viewer.
The Mnemosyne plugin for TeXmacs allows you to edit databases from the Mnemosyne flash-card program in TeXmacs, allowing you to include or edit mathematics in a fairly easy and efficient way.
In the spirit of Doug Bagley's Great Language Shootout, we provide our own, up to date version that we intend to run as an open source project, making it easy to contribute new tests, and easy to run the framework on your own computer.
Algheme is a computer Algebra system written in the Scheme language.
This project is actually aimed to symbolic computation using Groebner
Bases and related topics; nevertheless, it can eventually evolve in a
computational system for Mathematics in g
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.