Search Results for "essential-static" - Page 2

cowbel is a minimalist experimental programming language. It features strict types, static compilation into real machine code (via C), an object oriented system based on interfaces and composition, generics, no null, and a global garbage collector. It is intended to produce fast, tight code for use in systems programming, and to show that you don't need a complex language to be expressive and usable. We've moved! Go to http://cowlark.com/cowbel instead.

DCC is a C-like compiler used in linux. So far, DCC is only for x86 platform.

Static Gtk+ Library for Windows.

Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.

RES is a pure Java based Open Source Cobol to Java translator. It creates maintainable Java code for a subset of VS Cobol syntax. It has been developed with JDK, JTB and Javacc.

Creen is a reengineering and static analysis tool for ANSI C code. Program structure analysis, slicing and refactoring.

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.

Command Script 4 (CSC4) is an "application control" or application extension scripting language / virtual machine / compiler environment. CSC4 supports object member access, object creation and static calls to the underlying .NET Framework 2.0.

This is a framework for the creation of dynamic scripting languages on the .NET platform. Static typing, type inference, and true derivation from .NET classes are also planned. Two projects built on this are Boa and NetLisp. It is a work in progress.

Picture Gallery viewable with HTML web browsers. All dynamics is implemented at client-side in JavaScript. This approach is useful when the server side is able to provide only static contents, or if the gallery is stored on CDROM or other media.

Viscount is a lightweight Eclipse plugin designed to be able to quickly and easily collect essential code statistics. Viscount displays code statistics about your Java projects in Eclipse, such as the total number of Java files, etc.

GP2Exe makes .exe files from Python scripts. But it isn\'t like those complicated programs availble, where coding is not important but essential: it has a stable, fast, user-friendly and intuitive GUI to make things as easy as they can be.

ruby's expressivity together with static typing

A static analyzer for Java programs that checks for design guidelines. The project is adopted from PDL (http://portal.acm.org/citation.cfm?id=1218571).

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

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