Freeware Listing: Formalism

PowerDEVS is an integrated tool for hybrid systems modeling and simulation based on the DEVS formalism.

  • Platform: Windows 7, WinOther, WinVista

A Workflow Management System for scientific environments written in C++ based on the Petri Nets formalism. It uses the Grid Workflow Description Language (GWorkflowDL) as reference language..

  • Platform: Linux

Implementation of Combinatory Reduction Systems (CRS) with experimental extensions, in Java. CRS is a formalism for higher-order rewriting invented by J.W.Klop in 1980. For further details see the Project/Web Site..

  • Platform: WinOther

We are developing MIRACH, a Statistical Online Model Checker for Biological Pathway Models, based on the PLTLs formalism for expressing the rules/properties to be checked. MIRACH can currently check pathways models written either in CSML or SBML..

  • Platform: WinOther

VLE is a multi-modeling and simulation environment to study complex dynamic systems. VLE is based on the discrete event specification DEVS. and it implements the DSDE formalism (A merge of Dynamic Structure DEVS, DSDEVS, with Parallel DEVS, PDEVS). VLE provides a complete set of C++ libraries, called VFL (VLE Foundation Libraries), to develop DEVS models, to gets results of simulations, to launch simulation on cluster. The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net).

  • Platform: Linux, Mac OS X, Unix, WinOther

The m-file overlap_integral.m calculates the vibrational overlap integral between two nuclear wavefunctions using the formalism developed by Sharp and Rosenstock (J. Chem. Phys., 41:3453, 1964). This function requires the MATLAB Symbolic Toolbox in order to run correctly. The m-file make_overlap_table.m demonstrates how to use overlap_integral.m by generating Table V taken from (R. L. Thom, B. M. Wong, R. W. Field, and J. F. Stanton. J. Chem. Phys., 126: 184307, 2007). The m-files b_matrix_acetylene.m and load_acetylene_data.m are specific to acetylene and are required by make_overlap_table.m to run correctly.

  • Publisher: Bryan Wong
  • Date: 07-06-2013
  • Size: 102 KB
  • Platform: Matlab, Scripts

Insensitive (Incredible Nuclear Spin EvolutioN SImulation Tool Intended for Visual Education) is an application to simulate the NMR experiment based on the quantum mechanical density matrix formalism. It is available for Mac OS X 10.5 and above and iOS 4.3 and above. Please refer to the paper published in Concepts In Magnetic Resonance, 2011, 38A (2), 17-24.
Insensitive License - MIT License.

  • Platform: Mac OS X

Starting from a formalism established by LIRIS team(, this tool permit the edition of pre-consensual ontologies to help experts to describe their knowledge in order to establish a consensus.
Visual Tools for Pre-consensus Ontology License - GNU General Public License (GPL).

  • Platform: WinOther

a formalism to analyze /syntheses of phrase on computer
systeme-q License - Academic Free License (AFL); GNU General Public License (GPL); GNU Library or Lesser General Public License (LGPL).

  • Platform: WinOther

The OsMoSys Framework is a research project implementing a multi-formalism multi-solution framework for defining and analysing complex systems models. It uses model composition to cope with systems complexity.
OsMoSys Framework License - GNU General Public License (GPL).

  • Platform: WinOther

QPME (Queueing Petri net Modeling Environment) is a performance modeling and analysis tool based on the Queueing Petri Net (QPN) modeling formalism.
Queueing Petri Net Modeling Environment License - Eclipse Public License.

  • Publisher: Qpme
  • Date:
  • Platform: WinOther

VLE or Virtual Environment Laboratory, is a handy, easy to use multimodeling, simulation platform developed on the discrete event formalism DEVS (Discrete Event System Specification).

VLE provides a set of C++ libraries, the VFL (VLE Foundation Libraries) and a lot of programs like a simulator, a graphical user interface to model and develop models and tools to analyze and visualize simulation outputs. The VFL are sufficiently well designed to allow the development of new simulators, models or new programs for modeling and analysis.


  • Platform: Windows 7, WinOther, WinVista

PAMELA, which is also known as Pseudospectral Analysis Method with Exchange & Local Approximations is developed as a handy MATLAB package.

PAMELA is a self-contained code suite that can be used to calculate electronic energies, wavefunctions, densities, and band-bending diagrams. All the calculations are done within a self-consistent Schrödinger-Poisson formalism.


  • Platform: WinOther

libquantum is a C library for the simulation of a quantum computer. Based on the principles of quantum mechanics, it provides an implementation of a quantum register. Basic operations for register manipulation such as the Hadamard gate or the Controlled-NOT gate are available through an easy-to-use interface. Measurements can be performed on either single qubits or the whole quantum register. Features: - Simulation of arbitrary quantum algorithms is possible - High perfomance and low memory consumption - Decoherence support for realistic quantum computation - Interface for quantum error correction (QEC) - Supports the density operator formalism - Implementations of Shor's factoring algorithm and Grover's search algorithm are included.

  • Platform: C and C plus plus, Scripts

MetMAP is a MATLAB Toolbox for Metabolical Modeling, Analysis and oPtimization (Met. M. A. P.). You can use this package to study metabolical systems from a theoretical point of view, analysing the pathway's structure and dynamics, but you can also use it for biotechnological purposes, evaluating optimal solutions in a genetical improvement process. All this calculations are evaluated using the S-System formalism (a part of Biochemical Systems Theory, BST) and the Indirect Optimization Method (IOM, developed by Torres, Voit et al). Additional information in our Website:

  • Publisher: Julio Vera
  • Date: 19-05-2013
  • Size: 102 KB
  • Platform: Matlab, Scripts

A Discrete EVents Simulation (DEVS) of a Precision Approach Radar (PAR) developed as an assignment for the SYSC5105 course at the Carleton University. It was developed as DEVS formalism and implemented using the CD++ toolkit plugin to Eclipse. Code on SV
DEVS PAR SIM License - Academic Free License (AFL).

  • Platform: WinOther

Universal Grammar Editor is a small, simple, Java based application specially designed to offer you an editor for formal grammars.

This tool tries to be universal – customizable for any grammatical formalism and any syntax.

It also provides features such as syntax checking and highlighting, transformations (refactoring) and advanced rule editor.
for WindowsAll


  • Platform: WinOther

Reaction Equilibrium designed as a small and simple simulation tool that manages to illustrate qualitative concepts relating to chemical reaction equilibrium.

Problems in reaction equilibria are a staple of physical chemistry and thermodynamics courses, and their treatment via the formalism of the equilibrium constant is familiar to anyone with training in chemistry or chemical engineering.

While the use of these tools is not difficult to learn, an intuitive understanding of the standard Gibbs energy, enthalpy, and entropy of reaction can be more elusive.

Like everything in thermodynamics, they have their origin in molecular-level behaviors, and thus some understanding of them can be gained by observing molecules "react" while following Newtonian mechanics, and seeing how the emergent behavior can be...

  • Platform: WinOther
  • NRFit
  • License: Freeware
  • Rating

NRFit is designed as an accessible and handy neutron and X-ray reflectivity analysis package.

NrFit uses the Parratt formalism it is simple and easy-to-use and can provide a number of functions for roughness.


  • Platform: WinOther

PC-KIMMO is a new implementation for microcomputers of a program dubbed KIMMO after its inventor Kimmo Koskenniemi (see Koskenniemi 1983). It is of interest to computational linguists, descriptive linguists, and those developing natural language processing systems. The program is designed to generate (produce) and/or recognize (parse) words using a two-level model of word structure in which a word is represented as a correspondence between its lexical level form and its surface level form..

  • Publisher:
  • Date:
  • Size: 1925 KB
  • Platform: WinOther

Formalism: Freeware | All

New Reviews

Arctic Quest Game

Arctic  quest game (referred to in game as simply arctic quest) is a free ware downloadable game by free ride games, a game development website with a variety of games also downloadable from this site. Arctic quest is a very interesting puzzle ...

Mozilla Thunderbird

Mozilla is well known name in the internet industry. In fact, good amount of people are connecting to internet with Mozilla Firefox and this number is growing with time but I’ll be sharing my views on one of the lesser known product of ...

Funny Photo Maker

It happens a lot of times that you capture a photograph, it is good enough but you still want to play with it and improve it. There are lots of programs available for photo editing and some might say that you should use Adobe’s Photoshop. Yes, ...


Rom centre is a very handy downloadable piece of free ware that helps greatly when it comes to finding roms for a variety of emulators, checking roms to see if they are in full working order, and fixing roms if they are not working, so you don't ...

Aqua Pearls Game

Aqua Pearls game (or simply aqua pearls) is a free ware downloadable game that has many elements of the classic game zuma. In aqua pearls (and zuma) A variety of coloured balls will slowly work their way around the screen on a predetermined path, as ...

Ad-Aware Free Antivirus+

You might have experienced that with some programs, other smaller programs are attached and they get installed silently. Also, many times, these programs, also known as adware or spyware, are downloaded silently or by mistake through internet. ...

Hide Files & Folders

Hide Files and Folders is a program that will let you password protect files and folders on your Windows system, preventing unauthorized access to them.

Hide Files and Folders gives you five different ways to protect data on your ...

AM Browser

AM browser is a freeware browser from 2009, which markets itself allowing you to surf the web in a more comfortable, less confusing way. Once you install and open AM browser, the first thing you will notice is how out dated the look of it is. Most ...

Simple Machines Forum (SMF)

SMF (Simple Machines Forums) is a piece of forum software that is very useful for any website owner (or anyone looking to own a website) who would like to add a community forum to their website, or indeed anyone with a forum already who would like ...

New Downloads


A straightforward piece of
software that acts as a
VBScript engine and editing
utility that you can use to
evaluate ...

OLEDBDAC for Delphi

OLE DB Data Access Components
(OLEDBDAC) is a feature-rich
and high-performance library
of components that provides
data ...

The African Plots

African plots screensaver will
be loved by people who want to
enjoy exotic countries and
african safari. Every scene in


Electrum is an easy to use
Bitcoin client. It protects
you from losing coins in a
backup mistake or computer
failure, ...


Xender is a multi OS
supportive app. You can
download Xender iOS and this
is the only app that supports
connecting iOS ...

Portable Efficient Notes

Efficient Notes Free is a
cross-platform notebook
software package. With its
unique flash full-text search
technique, ...


RAMMon application helps you
to find specification and info
about installed ram on your
computer and laptop which
helps ...

CloudBacko Home for Mac OS

CloudBackup Home is an easy to
use cloud and local backup
software designed for backing
up files in Mac OS X. It
supports ...

Norton Security with Backup

Norton Security beta provides
easy, comprehensive security
no matter how you connect.
Test our latest version
against the ...