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

...It is useful if one wants to implement micro testing and TDD in a similar way of what exists in Java or C#. It is designed with legacy code in mind, and should work with all C++ and C compilers. NEW : version 2.1 is out. Currently there are no binaries to download, please checkout the code from svn and compile from the sources. You can checkout version 2.1 with the command: svn checkout svn://svn.code.sf.net/p/opmock/code/tags/opmock2.1 opmock-code Then read the updated docs in /documentation. Or just download the docs, read them and compile. ...

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.

SecFlow - Secure Flow Analyzation for Java and .NET

This is a simplified version of the GNU Grep. Search a RegExp on a file that contain all alphanumeric characters. Use special symbols like @ and # to extend the search. Now you can set Case Sensitive option and ignore withespaces during the search.

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.

A program for syntactically correct sentence generation. Guided by a Bison grammar file as input, it provides random or coverage testing sentences. The program can be used for compiler or parser testing or didactical purposes.

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.

iTTCP means "integrated TTCP". The project integrates the TTCP compiler into Eclipse environment and allows so developing and running testcases, specified in TTCN-3 language.

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.