Automata Theory

Hildegard is a music theory engine that will analyze music based on various theoretical systems. Users can stick to common theoretical systems or write their own with an extension language. Platforms: Windows, Mac, Linux

Set of python scripts that can be used for the calculations of equilibrium fractionation factors from experiments and from statistical mechanics theory. python scripts use Scipy/Numpy/Matplotlib/WxPython for calculations, plotting and the GUI Platforms: Windows, Mac, Linux

Tools for finite automata simulation, minimization and grammar utilities (left recursion removal, context free grammar simplification and transformation to Chomsky Normal Form). Platforms: Windows, Mac, Linux

JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use. Platforms: Windows, Mac, Linux

Self-replicating automata in continuous two-dimensional space Platforms: Windows, Mac, Linux

LEAP is an RDBMS (Relational Database Management System) implementing the relational Algebra - a core part of relational database theory. It is primarily used as an educational tool, but has found some novel uses and applications. Platforms: Windows, Mac, Linux

MASyV, which stands for Multi-Agent System Visualization, was developed to facilitate the visualization of cellular automata, or agent-based or individual-based models, without the need for the user to actually implement a graphical user interface (GUI). The software employs a client-server... Platforms: Mac

musify aims to be quick and easy mark-up for chord notation on the web. Enables better formatting of chord symbols, figured notation, time signatures, pitch class set theory, simple macro music analysis in web pages. Features notates chord symbols without having to know HTML entities... Platforms: *nix

OBOES (Open Biomedical Ontology-Based Enrichment and Search) is an information-theory-based platform that embeds new integrative methods allowing biologists to evaluate new hypotheses. Platforms: Windows, Mac, Linux

PerMoTo is a Performance Modelling Tool suite for decision support in the capacity and performance management of distributed transaction processing systems based on Queueing Theory and Discrete Event Simulation. Platforms: Windows, Mac, Linux

pystats is a comprehensive Python module implementing algorithms for statistics and information theory, including probability distributions, descriptive statistics, analysis of variance, regression, and inference. Platforms: Windows, Mac, Linux

QTnew is a universal Queueing Theory simulator. Different types of serving disciplines, time distributions, routes are supported. Simulation is extremely flexible: any custom simulation can be performed with JavaScript. Platforms: Windows, Mac, Linux

The aim of this project is to realize an implementation of a Random Access Machine (which is a common tool in theory of computer science). Platforms: Windows, Mac, Linux

TDRSP is a tool package solving the equation of motion of reduced single-electron density matrix in the framework of Hartree-Fock or density functional theory in time domain. Platforms: Mac, BSD, Linux

Automata Based Programming Tool for implementing logic for J2SE, J2EE and Sybmian applications. Consists of Java FSM Framework and Eclipse Plugin parts. Plugin implements UML model editor, visual debugger, validator, compiler and interpreter for Eclipse Platforms: Windows, Mac, Linux

A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language). Platforms: Windows, Mac, Linux

About ColorDesigner A simple application which assists the user in designing color sets using standard color theory. Furthermore, it allows the user to create her own rulesets to randomly generate color sets from. Whats New in this Version - Adds precision input to all colorwheel properties. Platforms: Mac

? The most flexible and highest rated app on the market - our reviews say it all! ? ? 2012 ready ? Latest Official DSA Revision Question Data Bank ? 4 topics included ? ? Get the Full Version Now: Lowest Price Ever!!! ? FREE Lite Vers Platforms: Mac

The model relies on the theory of strength of least square curve fitting and auto regression techniques. Requirements: - MATLAB 7.5 or higher Platforms: Windows, Mac, *nix, Matlab, BSD Solaris

This is a PHP web application for creating custom Scale, Chord and Interval dictionaries and diagrams for any musical instrument. MySQL database tables enumerates all possible scales, chords and intervals (in the 12TET Universe) and their properties. phpMyChord Aims to provide: - Mathematically... Platforms: Windows, Mac, *nix, PHP, BSD Solaris