Open Source Computer Aided Instruction (CAI) Software - Page 3

jCpSim (Java CardioPulmonary Simulations) is a set of Java packages for simulation of human physiology (respiration, circulation, ...) and of medical therapy (ventilation, ...). Creation of user interfaces and therapy optimization is supported.

current build is now 12_8_11: Code reformulation, not only to improve/repair, but also to take into account libraries that I don't release (e.g., the applet one). The Jars are compiled under Sun Windows JVM 1.7.0_1.

A portable, platform-independent, open source tool for converting different Kurdish scripts

LearnML is a XML based markup language to put learning materials in the web. Based on a simple syntax, LearnML documents can be transformed to any kind of web page (HTML, XHTML) or (printable) PDF document.

MORSEL is a simple microprocessor simulator designed for use as a temporary aid for teaching children to program.

The MathForge Application Environment provides users a broad range of Java-based math tools (calculation, visualization, presentation and communication via MathML) and allows developers to leverage existing code while extending MathForge.

A graphical microcode simulator with a reconfigurable datapath.

Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.

A simulation environment for 2D robots to interact and perform tasks in. Meant to be educational and demonstrate emergent behaviors. No download necessary! See demos on project website!

A MATLAB toolbox for linear and nonlinear static and dynamic finite element analysis.

Numb3rs is a program to assist students in understanding the math.

Pattern recognition software package. It includes several classification and clustering algorithms. It can read data from a set of images, an ASCII file or a JDBC connection. A small TCP data server with its corresponding JDBC driver is included.

This is a conversion-to-binary training game prototype. Random bits appear, and you must shoot them where they fit onto various bytes (given in octal, hex or even bit ops, decimal or Ascii). Shoot wrongly and you lose that byte, or get it right and win.

OmniHelp is a cross-platform, browser-independent, tri-pane help viewer built in pure JavaScript and CSS with HTML 4. Some functions (such as help embedding) may in the future be in Java, C, or C++; CSH is fully supported. All code is under the LGPL.

Large Integer Calculator. Includes most arithmetic functions plus named memory values.

Ouroborus is an artificial life framework for mobile agents on a background of cellular automata. It can be used to teach and research topics such as population genetics, ecology and evolution. The demo includes a curses view and live Csound audio.

The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.

QtEukleides is a versatile graphical front-end for creating geometrical constructions and figures using the Eukleides language.

Quad Genius Pro is an interactive java-based graphical software designed by me at IIT Guwahati for school students of classes sixth to ninth to help them solve quadratic and linear equations and learn through the process.

Tiny Flash ActionScript Speed math program to train rapid multiplication and addition. Good for any age who wants to improve arithmetic and general maths skills. Quick mathematics is useful.

RunAsApproximator es un programa java multilenguaje que implementa algoritmos numéricos. Los datos de entrada son aquellos requeridos por cada algoritmo y los de salida son resultado final y los datos intermedios necesarios para alcanzar su resolución.

SimAlgPro - it is a tool to simulate the main algorithms for processor planning. to contribute to the learning process. It allows visualize of interactive form the algorithm application and results.

A formal proof generator for the system of Fitch. Apart from Fitch diagrams it can also be used to generate truth tables or tree diagrams. Good support for hints and single-stepping. This program is used as the engine behind http://logica.ewi.tudelft.nl.

Toss is a program which allows to explore the use of logic and terms in various models. On the static side, you can draw graphs and check their properties, axioms and reductions. Then, on the dynamic side, you can model multi-player games with both discrete and continuous dynamics. You can play the games, generate strategies automatically and analyse possible behaviours with respect to various logic formulas.

It provides a graphical animated representation of a network simulation run (e.g. for ns-2). Further, common metrics are calculated and displayed. The tool is written in Java and supplies 2 frontends (applet and stand-alone application).