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
A scheme (lisp) interpreter written in ARM assembly language (ARM7TDMI, ARM920T, Cortex-M3) for education, robotics, wearable devices. Tested on NXP LPC-1300,1700,2000, ATMEL AT91SAM7, STM STR711, STR911, STM32, CIRRUS EP9302, LMI LM3S1968, TI OMAP.
Artifice is an cross-platform, turn-based strategy game based on the classic board game of Risk.
A framework for building distributed virtual reality applications, based on OpenGL|Performer(TM)
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
Carneades is an argument mapping application, with a graphical user interface, and a software library for building applications supporting various argumentation tasks.
Knowledge-based Agent with capabilities to reason, learn and become an expert in Mathematics.
Metaprogramming: proof of the concept.
Design Scheme is a Scheme based interpreter language that is focusing on describing forms and motions of designs.
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/
FEAR is a development kit helping software engineers create advanced artificial intelligence in synthetic characters with simplicity and efficiency. The project includes reusable AI components, portable framework and interfaces to realtime 3D games.
This project is a framework (i.e., library) for Mac OS X applications to link in. It provides plots of data together with the supporting machinery (objects inheriting from NSDocument, for example) that applications can use to manipulate the plots.
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.
FramerD is a distributed semi-structured object database originally developed at MIT. It provides an internationalized Scheme-based scripting language, built-in text analysis tools, and special support for web scripting.
FreeSym is a free symbolic mathmatics program.
Fungus is a framework for distributed simulation by multi-agents. It uses a very modular architecture. A GUI is provided. In our model, everything is Agent. Even the environnement. You have an access to the communication's 'canals'.
A simple and incredibly powerful tool for scripting and fuzzing arbitrary network protocols written using the Chicken Scheme-to-C compiler.
Fuzzy logic is a tool that allows modeling complex real world to be defined with some simple and understandable fuzzy variables and fuzzy rules.
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.
Warfare strategy game played by autonomous intelligent softbots!
Jliriw(Just Let It Remember,and It Works).Design and Implent Artificial Intelligence with an arthitecture driven by Memories.Jliriw is a open domain project that privide all the aspect and source code for education and research use.