Open Source Scheme Scientific/Engineering Software

The Linux GPIB Package is a support package for GPIB (IEEE 488.2) hardware. The package contains a development environment consisting of a GPIB library written in C, kernel driver modules, and bindings for several other languages.

This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.

A quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. A cross-platform free/open-source tool for derivatives and financial engineering.

A scheme (lisp) interpreter written in ARM assembly language (currently: Cortex-M4F,M7, Cortex-A5,A8,A9, Cortex-A53; previously:ARM7TDMI, ARM920T, Cortex-M3) for education, robotics, wearable devices. Tested on Allwinner A64, Amlogic S905, Atmel SAMA5D4, SAME70, SAMV71, NXP LPC4300, RT1050, iMX8M, Samsung S5P6818, ST STM32F4, STM32F7, and TI AM3359, OMAP3530, DM3730, OMAP4430, TM4C1294 chips (previously: NXP LPC-1300,1700,2000, ATMEL AT91SAM7, STM STR711, STR911, STM32, CIRRUS EP9302, LMI LM3S1968, TI OMAP).

A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts

BigBoy is a three dimensional Finite-Difference Time-Domain (FDTD) simulator for photonics (plasmonics, photonic crystals or high index-contrast structures). Please, refer the successor of this project, GMES (http://sf.net/projects/gmes).

The purpose of the project is to develop a quantitative medical imaging & visualization program for use on brain MR, DTI and MRS data. It is a joint project of the Kennedy Krieger Institute & the Johns Hopkins University, Psychiatric Neuroimaging Lab

Burrow-owl is a software package for visualizing multidimensional nuclear magnetic resonance (NMR) spectra, with an emphasis on spectra used in macromolecular structure determination.

Knowledge-based Agent with capabilities to reason, learn and become an expert in Mathematics.

The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.

A Scheme (guile) interface to a local version of the Encyclopedia of integer Sequences with many features for complex queries. URL of the encyclopedia (where the database can be downloaded from) is: www.research.att.com/~njas/sequences/

Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.

FreeSym is a free symbolic mathmatics program.

A simple and incredibly powerful tool for scripting and fuzzing arbitrary network protocols written using the Chicken Scheme-to-C compiler.

GNU TeXmacs

libtour is a generic tournament processing library. The rules, participants, schedule, and results of a sporting tournament can be defined in the Scheme programming language and given to the library as input.

MLP(Multilayer Perceptron) training library written in LISP like language called Scheme. Can work with any type of MLP.

MScheme is a Scheme interpreter implemented in Java. The project goals are to fully comply with the "Revised^5 Report on Scheme" and a clean and modular design.

Java based multi-agent platform built on an organizational model (agent, group, role). MadKit provides general agent facilities (lifecycle management, message passing, distribution, ...), and allows high heterogeneity in agents.

A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.

The interactive mathematical programming system GYWOPT is released as free software. It has been developed since early 2000 for experiments with the Integral Basis Method for integer programming by U.-U. Haus, M. Köppe and R. Weismantel.

RYUON : many-particle simulation suite

SAT Solver in plain C99 and the Scheme programming language.