Argos is an imperative synchronous language developped at the VERIMAG laboratory. Argonaute is the programming environment based upon Argos, which provides a compiler and several connections to verification tools.

Cilk is a language for multithreaded parallel programming based on ANSI C. Cilk is designed for general-purpose parallel programming, but it is especially effective for exploiting dynamic, highly asynchronous parallelism, which can be difficult to write in data-parallel or message-passing style.

Esterel is both a programming language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state machines. It is one of a family of synchronous languages, like SyncCharts, Lustre, Argos or Signal, which are particularly well-suited to programming reactive systems, including real-time systems and control automata.

LUSTRE is a synchronous declarative language for programming reactive systems. It is declarative because a description is a set of equations that must be always verified by the program variables. This approach has been chosen as it is close to the one adopted by designers of real-time control systems using models like systems of differential equations or synchronous operator networks. A program variable in LUSTRE is considered to be a function of multiform time: it has an associated clock which defines the sequence of instants where the variable takes its values. In that sense, LUSTRE belongs to the family of synchronous languages (like ESTEREL, ARGOS, or SIGNAL).

Polytechnique Montréal Modula-3 is the most current incarnation of the free Modula-3 development environments. It builds upon the SRC M3 base and includes enhancements from Cambridge Modula-3. With over 15,000 files of source code, there is a large and solid existing base of software to develop upon. Fortunately, there are binaries available for the most popular platforms.

Language: JOVIAL
Host Platform: Sun SPARC/SunOS/Solaris, HP/UX, & VAX/VMS
Target: Mil-STD-1750A, Z800x