Search Results for "c programming framework" - Page 6

The goal of this project is provide a OpenSource (LGPL) implementation of the Trac 2001 programming language. Please visit the TRAC Foundation website at http://www.tracfoundation.org/ for additional information.

functional, object-oriented programming language mainly built, to improve website creation, but is useful for the automated creation of any kind of text files

Locos is an object oriented framework for building parsers and other language processing tools.

ROOT Apache is an open source scripting module for the Apache webserver Based on the ROOT framework <http://root.cern.ch> which is using C++ as scripting language it allows to embed C++ code directly into HTML pages.

The Cup Programming Language is a combination compiler and VM (Virtual Machine). The language is purely procedural, though allows 'top-level' code like a scripting language.

The WIT programming language, Witty & Interesting Talks without an ideological quarrel.

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.

Nona is a programming language oriented for the meta-programming paradigm. Functional, imperative and object-oriented paradigms are also included.

Piet++ is the foremost interpreter for Piet++, an extension and expansion over the original Piet programming language.

The main goal of BASIC foundry on SourceForge is to gather all developers that works something related to BASIC programming language in order to help creation of fast, stable, cross-platform, OPEN SOURCE BASIC compiler.

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

Adapt is data conversion language developped in 1984 by Norman W. Molhant and Christophe Dupriez. It has been used in many circumstances, it translated itself in many programming environment and it should evolve now toward modern environments like Java.

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

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