Search Results for "gnu science" - Page 7

Picode is the ultimate VHDL picode 16 to 32 bits controller. It is described in only one entity and is implementable in standard FPGAs. It has it own compiler. Picode is designed to take only one or two clock cycle duration per instruction.

The compiler is aimed at compiling the vyne language. The Vyne language is a high level programming language that aims to be a very powerful alternative to the currently well established high level languages. The goal is not to reinvent the wheel, but to make it better. One thing that is important is that Vyne should not be owned by anybody. The language itself should be maintained by the community. The development website can be found on http://www.vyne.org

The aim of the project is to write an distributed object compiler/interpreter. Object reside on special server and can be accessed in a java/c++ style programming language through a network. This project is currently being renamed please check http://obj

Mira is a new programming language with a C like syntax. It borrows heavily from other poplar languages and has the design goals of intuitiveness,compiler extensibility, practical functional programming and great tool support.

SimpleCompiler is a suite of tools for generating compilers and code generators. A simple BNF style language is used to describe scanner and parser in a UTF-8 source file. The output is described with a template language that is used to add formatting to the parse tree. Code is generated that automatically traverses the parse tree and calls a method on a transformer object to modify the parse tree. Each node is visited in document order, and a method is called at the beginning and end of...

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

COMP-525 Paper is a graduate-level computer science research paper that explores compiler optimization in general.

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

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