Search Results for "computer simulation software"

Racket is a general-purpose programming language and an ecosystem for language-oriented programming. This repository holds the source code for the core of Racket plus some related packages. The rest of the Racket distribution source code is in other repositories, mostly under the Racket GitHub organization. Racket programmers typically program with functions, records, objects, exceptions, regular expressions, modules, and threads. That is, instead of a “minimalist” language, which is the way...

This project exists as an archive for Crack.com's 3D FPS/Strategy/RPG game called Golgotha. Shortly after C.c's demise, a small band of developers attempted to bring the game to completion. Here lies their code too.

The MDK provides a simulator of D. Knuth's MIX computer, and a development environment to write, run and debug MIXAL programs on it.

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.

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

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.

GUI IDE for developing games with the Stratagus engine.

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.

Bot (not But) is an irc Bot with lots of features ranging from interaction with the users, interaction with software in the bot\'s computer, etc.

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.