Search Results for "compilers"

WFCTest is a library and preprocessor designed to create unit and integration tests for the C and C++ languages. It has arisen to simplify writing test cases for a variety of compilers, some of which may predate even the C89 standard. It is provided in the hope that it may be useful in other projects to generate test cases as would be seen in other programming environments.

Coarrays are native Fortran means for SPMD parallel programming. At runtime multiple copies of the executable (called images) are executing asynchronously. The F2008 standard provides coarray syntax, remote calls, coarray data objects, allocatable coarrays, syncronisation, atomics, etc. F2018 adds new functionality, e.g. collectives, teams, events, more atomics. Coarrays are used extensively in CASUP library for HPC (https://cgpack.sourceforge.io). The course is aimed at experienced...

A language-validation testing harness for Java (and Java-like) compilers & other language tools. Provides a framework for verifying whether static/runtime errors occur when running collections of test programs (benchmarks) described by "jlbench" files.

Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.

This project contains a set of tools for formal verification and static analysis of VHDL design.

rngcc is "really nice GNU C compiler" it's the GUI for the standard GCC on Unix systems rngcc is fully written in c

STDL (Structured test description language) is a domain-specific testing language that is used to auto-generate unit test code. It supports a myriad of output languages (incl. C#). The project's aim is that of reducing the resources required for testing

An implementation of the Model-View-Controller (MVC) design pattern based on the Jakarta Struts Framework. Includes a core library (Horizon), a servlet container (Stratus), and a Server Pages Engine (Phase). Resembles the J2EE web container environment.

BNF processing tool checks correctness of BNF grammar, generates cross-referenced HTML documentation, generates tests for language recognizers (parsers).

PHPTuring is a Turing Machine simulator built in Object-Oriented PHP5, using the Test-Driven (TDD) approach.

BeanClipse is a NetBeans plugin for Eclipse: NetBeans runs embedded within the Eclipse platform as a plugin offering the best of both worlds to Java developers. May be just a joke ;-) .... Check also it's twin at : http://sf.net/projects/netclipse

Breeze is a build and test automation framework for software developers. It is written in Ruby and can be extended to include tasks that interact with other tools such as source code repositories, compilers, test frameworks, and installers.

A simple and direct web based arduino programming suite. Development will start soon.