Search Results for "source code computer" - Page 11

JAva Compiled EXpressions - Very fast exression engine for Java, compiled into Java bytecode. Features: - Strong typing - Comipilng into Java bytecode - No reflection during evaluating expressions - Better performance for prepared expressions

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

Blade Language Developer (or Project Blade for short) is a toolkit for creating domain specific or general programming languages. The toolkit offers a language for describing grammars, and templatable parser generator.

Description language based on XSD and rules stored in a centralized directory intend to allow development of applications from static descriptions.

Stalin is an aggressive optimizing batch whole-program Scheme compiler. It uses advanced flow analysis and type inference and a variety of other optimization techniques to produce code (using C as an intermediate language) that is extremely fast.

The aim of DynamiC++ project is the development of dynamic analyzer of C++ code witch can be applied to dynamic C++ compiler (for quick compilation) and for integrated development environment (because dynamic analyzer can be used for smart highlighting).

MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.

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

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.

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. With Chor, you do not have to worry about...