Finite Automata

Golly is intended for exploring Game of Life, a cellular automaton...

About State Diagram Editor is a compact, flexible tool for the design...

Luxor HD is a marble-shooting game set in Ancient Egypt...

CD, DVD and BD media keep their data only for a finite time (typically for many years). After that time...

Triple-A (Automatic Analysis with Automata...

Room EQ Wizard, also called REW for short, is intended to perform...

Logic 2010 is a system for computer and Internet...

This program helps you improve your Poker skills and your chances to win more often. It provides suggestions...

Prover9 is an automated theorem prover for first-order and equational logic...

State Diagram Editor is a compact, flexible tool for the design of Finite State Machines - Intuitive User Interface using...

Flip4Mac Utility... Advanced users of Flip4Mac WMV that wish to enable the streaming method can use the Flip4Mac...

Gmsh is a 3D finite element grid generator with a build-in CAD engine and post...

FreeFem++ is an implementation of a language...

Cavendish Education is an easy-to-use program that solves the n...

NairnFEAMPM is a self-contained package for advanced scientific calculations using...

LTB-LIGHT has a series of powerful tools that permit to optimize Your projects: a 'CIE module' to precalculate...

iDictionary allows you to create a custom dictionary and/or thesaurus for your iPod.

ForcePAD is an intuitive tool for visualising the behavior of structures subjected to loading...

SciMOD - Software for science and engineering SciMOD stands for "Scientific Modeling"...