Software Map

Project Tree

Now limiting view to projects in the following categories:
Research center :: Montbonnot [Remove This Filter]
Topic :: Software Development :: Compilers [Remove This Filter]
Kind :: Software [Remove This Filter]
Natural Language :: English [Remove This Filter]
Intended Audience :: Developers [Remove This Filter]

Topic > Software Development > Compilers	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

3 projects in result set.

bzr - Controller synthesis for the design of embedded systems

Development Status : 4 - Beta[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : GNU General Public License \(GPL\)[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Objective-Caml[Filter]
Research center : Montbonnot (Now Filtering)
Research center : Rennes[Filter]
Topic : Software Development : Compilers (Now Filtering)

Activity Percentile: 86.06

Registered: 2008-07-04 12:56

FIACRE Compiler - Compilateur du langage pivot FIACRE vers le langage de processus LOTOS.

Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software (Now Filtering)
Natural Language : English (Now Filtering)
Operating System : POSIX : GNU/Linux[Filter]
Programming Language : ML[Filter]
Research center : Montbonnot (Now Filtering)
Topic : Software Development : Compilers (Now Filtering)

Registered: 2015-03-31 06:34

Dynamic SystemJ - Dynamic SystemJ (DSystemJ) is a new language targeting easy development of mobile and dynamic distributed systems. DSystemJ is based on formal semantics and thus potentially verifiable, no more debug and deploy cycles.

Development Status : 3 - Alpha[Filter]
Environment : Console \(Text Based\)[Filter]
Intended Audience : Developers (Now Filtering)
Kind : Software (Now Filtering)
License : OSI Approved : BSD License[Filter]
Natural Language : English (Now Filtering)
Operating System : OS Independent[Filter]
Programming Language : Java[Filter]
Programming Language : Unix Shell[Filter]
Research center : Montbonnot (Now Filtering)
Topic : Software Development : Compilers (Now Filtering)

Activity Percentile: 0.00

Registered: 2010-03-17 16:52