Finite

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

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

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

Puzzle Expedition is designed to let players relax by solving puzzles without any pressure...

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

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

The FEniCS Project is a collaborative project for the development of innovative concepts...

FreeFem++-cs is an integrated environment for FreeFem++ (a C++-like computer language...

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

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

Decimal Plugin is a plugin for Xojo which adds a new number type...

Triple-A (Automatic Analysis with Automata...

Structurix is a calculation programme based on the principle of the finite elements. It makes it possible...

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

Load Design is a finite element analysis software for Mac. Main features...

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

VisualFEA is user friendly finite element analysis software with innovative pre and postprocessing capabilities...

fsme is a graphical tool to develop general finite state machines...

Sets as Boxes is simple tool for visualizing finite sets as cardboard boxes. Main features...