Search Results for "c language code jpeg2000"

GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.

...MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML (Revised), a number of useful language extensions, a complete implementation of the Standard ML Basis Library, various useful libraries, a simple and fast C foreign function interface, the ML Basis system for programming with source libraries, and tools such as a lexer generator, a parser generator, and a profiler.

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

CIL (C Intermediate Language) compiles C programs into a simplified subset of C and assists with program analysis and transformation.

This is a programming language dedicated toward teaching beginning programmers proper concepts and helping them adjust to more complex languages such as C++ or Java. BOLT uses a syntax similar you BASIC to help the programs written in BOLT to be more user friendly.

Aquamarine is a Object Oriented language. The goal of this project is to provide a aquamarine to C++ compiler and a classes library.

VB2JAVA is a proof-of-concept about programming language translation.