RSS 17 projects tagged "Compilers"

No download No website Updated 29 May 2011 kdiv

Screenshot
Pop 13.49
Vit 32.57

"kdiv" is a generator of routines for optimized division by an integer constant based on the work presented in H.S. Warren's "Hacker's Delight". "kdiv" can be used to emit a generic assembly or C implementation of signed or unsigned division.

Download Website Updated 24 Nov 2010 Toka

Screenshot
Pop 45.99
Vit 1.00

Toka is a portable dialect of Forth. It has been designed to be used on modern Unix-like OSes, and provides numerous libraries that map in functionality from various common libraries. The language can easily be extended using modules written in C.

Download Website Updated 18 Jul 2012 crosstool-NG

Screenshot
Pop 247.59
Vit 13.87

crosstool-NG is a versatile toolchain generator, aiming at being highly configurable. It supports multiple target architectures, different components (glibc/uClibc...) and versions. crosstool-NG also features debugging utilities (DUMA, strace...) and generation tools (sstrip...).

No download Website Updated 19 May 2007 Java + information flow

Screenshot
Pop 16.73
Vit 1.00

Jif (Java + information flow) is a security-typed programming language that extends Java with support for information flow control and access control, both at compile time and at run time. Static information flow control can protect the confidentiality and integrity of information manipulated by computing systems. The compiler tracks the correspondence between information the policies that restrict its use, enforcing security properties end-to-end within the system. After checking information flow within Jif programs, the Jif compiler translates them to Java programs and uses an ordinary Java compiler to produce secure executable programs.

Download Website Updated 20 Jul 2012 Parrot

Screenshot
Pop 102.18
Vit 8.47

Parrot is a virtual machine designed to efficiently compile and execute bytecode for dynamic languages. It currently hosts a variety of language implementations in various stages of completion, including Tcl, Javascript, Ruby, Lua, Scheme, PHP, Python, Perl 6, APL, and a .NET bytecode translator.

Download Website Updated 26 Sep 2007 CompBenchmarks

Screenshot
Pop 27.37
Vit 2.84

CompBenchmarks automates installation, configuration (using specific compilers or arbitrary options), and evaluation of some well-known C/C++ benchmarks and applications. Results are given in XML files that can be sent to the CompBenchmarks Web site.

Download Website Updated 08 May 2009 CeGCC

Screenshot
Pop 36.47
Vit 2.50

CeGCC implements cross-development tools for Windows CE (PocketPC) by using an ARM (Xscale) processor. This is a bundle of other free software projects, specifically combined and configured for this goal. You can create applications for PocketPC from your PC using these tools.

No download Website Updated 06 Nov 2005 Stratego/XT

Screenshot
Pop 29.24
Vit 1.00

Stratego/XT is a development environment for creating stand-alone transformation systems. It combines Stratego, a language for implementing transformations based on the paradigm of programmable rewriting strategies, with XT, a collection of reusable components and tools for the development of transformation systems. In general, Stratego/XT is intended for the analysis, manipulation, and generation of programs, though its features make it useful for transforming any structured documents. In practice, it has been used to build many types of transformation systems including compilers, interpreters, static analyzers, domain-specific optimizers, code generators, source code refactorers, documentation generators, and document transformers.

No download Website Updated 22 Nov 2004 Oink

Screenshot
Pop 33.99
Vit 1.00

Oink is a collaboration of backends for the Elsa C and C++ frontend. It aims to be industrial-strength for immediate utility in finding bugs, extensible for ease in adding backends, and composable for ease in combining existing ones. It computes expression-level and type-level data flow, and statement-level intra-procedural control flow (by delegating to Elsa). It's easy to get started by using the two demo backends that print graphs of these flows. It also comes with a client of the data flow analysis that does type qualifier inference: Cqual++, a C/C++ frontend for Cqual. Whole-program analyses may be attempted using the linker imitator.

No download Website Updated 18 Jan 2006 GODI

Screenshot
Pop 28.98
Vit 1.52

GODI provides an advanced programming environment for the Objective Caml (O'Caml) language. From INRIA (who created O'Caml) you can get the O'Caml compiler and runtime system, but this is usually not enough to develop applications. You also need libraries, and there are many developers providing them. But it is a lot of work to build and install them. GODI is a system that simplifies this task: It is a framework that automatically builds the O'Caml core system, and additionally installs a growing number of pre-packaged libraries. For a number of reasons, GODI is a source-code based system, and there are no precompiled libraries, but it makes it very simple for everybody to compile them.

Screenshot

Project Spotlight

Aspose.Cells for Reporting Services

Software that lets you export native Excel reports in Microsoft SQL Server 2005 Reporting Services.

Screenshot

Project Spotlight

Hypercube

A graph visualizing tool.