Search Results for "multi-system" - Page 19

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography.

PLCduino is an open hardware alternative for industrial and home automation. It uses the well known ATmega chips as main processor, the same used on Arduino. This means that PLCduino is code-compatible with all arduino sketches.

News: since 2015 we continue all related developments within Collective Knowledge Framework: http://github.com/ctuning/ck/wiki This is an Interactive Compilation Interface (ICI) to access and modify internal Open64 compiler optimization decisions to tune applications at fine-grain level for performance, size, power consumption, architecture-compiler DSE, etc.

What is a domain-specific language intended for constructing web services on top of ordinary web pages, or otherwise automate web-related tasks. Using a powerful pattern matching sublanguage, What strives to be for XML/HTML what Perl is for text analysis

CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.

Le projet Atlantis est une collection de composants et de bibliothèques pour Lazarus. The Atlantis project is a collection of components and libraries for Lazarus.

libnaru is a library written in C that supports you to define a type system for a programming language. It is thought to be another lego piece beside lexical and syntax analysis in a compiler project.

The aim of the CPyrol project is to create a complete Python interpreter written in C++ with minimal system requirements and a very clean codebase. I am working on this project mainly to gather experience with the current C++ standart (C++ 11) and with compiler development, it is not (yet) intended for practical usage. This project is at an early stage of development. Currently implemented is a Lexer, Parser and Code Generator for compiling Python code into CPython-compatible bytecode.

This compiler tries to detect pieces of code in a program that are not dependant and compile them in a way that the resulting code can be execuded in parallel on a runtime system built to support this. Only an experiment for my thesis.

If the words "Symbolic Instruction" in the name sound familiar, they should. ASIL (pronounced "a-sill") was largely inspired by BASIC. However, instead of starting with a modern verison of BASIC, I started with AppleSoft. Why? Well, ASIL was born in the early 1990s while I was in college. I knew AppleSoft quite well as it was my first programming language. ASIL nearly died then as the compiler technology wasn't up to the job. Now, I figure those compilers might be able to do the job. ...