Search Results for "programming program c2" - Page 7

The zaubertrank is a programming system based on natural language, not parsed, but assembled from given statements. It aims to be easily accessible for non-programmers as well as useful for developers. The idea is to demystify program code.

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.

This project targets the SPU of the Cell/BE Processor. This library is intended to help the person programming the SPUs on the Cell processor move data into and out of the local store of an SPU without having to directly program the DMA hardware.

IM Bot Framework is an adapter to interface console I/O programs to IM servers. The goal of this program is to allow easy development of bots in any programming language that can read from and write to stdio.

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.

The ThreadPool library is a simple and efficient way to manage multiple tasks in a program. It allows you to run several tasks at the same time using a pool of worker threads. The entire implementation is provided in one single header file, making it extremely portable and hassle-free to integrate into your project. Whether you are building a small project or a larger application, this library offers the necessary tools to efficiently handle multi-threading with minimal...

Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .

Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...