Search Results for "source" - Page 40

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

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.

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

A collection of ACS tools. It will have an ACS disassembler, because I intend to get a method of decompiling as quickly as possible. After that, there will be: compiler, decompiler, linker and translator, etc...

Decafcc is a simple just-in-time (JIT) compiler for small programming or data modeling language. The current Decaf project demonstrates how to parse simple C, and how to generate MIPS assemble code.

ExStudio is a set of development tools for the "Ex" virtual machine. It includes the vm itself, a compiler, an assembler and a debugger.

This provides an interactive, programmer-friendly interface to VMware's VProbes facility. VProbes is a safe, dynamic technology for instrumenting software running in virtual machines, and the software stack itself.

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.

Djarva is object language inspired by Ruby and Java languages. Djarva project includes Djarva language, Djarva language to Djarva bytecode compiler and Djarva virtual machine accepting Djarva bytecode. Whole solution is implemented in the Java language. Djarva compiler is based on JKIT (see http://homepages.ecs.vuw.ac.nz/~djp/jkit/).

YARML or (Yet Another Readable Markup Langage) is a simple and readable markup language which have the same structure of XML but with new syntax which near to the syntax which used with the high level programming languages like Java,PHP, C and Python.

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

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

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

cdd is the lexical, grammatical, and syntactic analyzer of the C÷÷ dialect. The latter is not a programming language, but a set of variations in the C language that cdd analyzes, converts to C code and compiles by calling to g++.

Prog is a lightweight, high-level, general-purpose, interpretable, compilable, strongly typed language that balances pragmatism, legibility, and versatility. Types are first-class objects and evaluation is considered a side-effect of type conversion.

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

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