Search Results for "python programming language" - Page 16

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 is aimed at developing an iconic programming language (IPL) which compiles to Java in order to help pre-CS students build stronger models of programming concepts. Project has moved to http://code.google.com/p/jubjub/

CodingDojo to learn, explore, practice and test technologies. Along with CodingKatas there are also challenges. The main purpose of this project is to register and drive software craftsmanship and polyglot programming even further.

User contributed libraries and examples for the Clojure programming language.

The project works to illustrate implementations of the portable OpenFPGA GenAPI standard for multiple language environments.

MyL is a hyper productive programming language oriented to concepts, created to simplify and accelerate the development of commercial applications for web and desktop, using a "Straight to the point" syntax.

Ownership and Immutability Generic Java (OIGJ) is a programming language based on Java with generic types. OIGJ supports deep ownership, confinement, object- and reference-immutability.

Pava is an implementation of Relation Oriented Programming Language

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. ...

Dove is an integrated development environment for D programming language based on Eclipse(plgin for eclipse).It provides IDE features such as code completion, outline view, preference, debugger.

The co-simulation adapation platform serves as programming framework and middleware to enable coupling of distributed, heterogeneous numerical models. The framework facilitates the adaptation and integration of new sub-models into a common simulation platform.

Compiler and virtual machine of a new programming language similar to pascal with learning proposals for computer science engineering students.

Etch is a cross-platform, language- and transport-independent framework for building and consuming network services. With Etch, service development and consumption becomes no more difficult than library development and consumption.

The EaseFilter Filter Driver SDK is a collection of tools, libraries, and sample code designed to facilitate the creation of Windows file system filter drivers. These drivers operate at a low level, intercepting file I/O requests before they reach the underlying file system or other filter drivers. The EaseFilter SDK provides a powerful interface for developing Windows filter drivers in C++, C#, or other programming languages that support native DLL calls. This guide helps developers...

This project is java version of the SQL functions as defined by the Transact-SQL programming language for the MS SQL 2000. It is pure 100% Java implementation for the famous SQL Functions such as CONVERT, PATINDEX or DATEDIFF.

PAGEB is an easy to use tool to create videogames. With PAGEB is not necessary to known any programming language, nor to master complex game development techniques, to create high quality games. All you need is a good game idea and time to develope it.