Search Results for "compilers"

SLEEF stands for SIMD Library for Evaluating Elementary Functions. SLEEF implements vectorized versions of all C99 math functions, that utilize SIMD instructions of modern processors to make computation more efficient. The library also includes vectorized DFT subroutines.

SLIMCPP is C++ header-only library that implements long integers that exceed maximum size of native type supported by a specific compiler by 2-4 times. All classes, methods and functions were not created or designed to work with huge numbers, for which there are specialized big integer mathematical libraries. In some cases, it is necessary to temporarily perform calculations with precision exceeding the maximum supported size of integers, and then return the result to its native size again.

A fixed point math header-library for C, under a liberal license.

CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.

ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina

The goal of the Fortran-to-Java project is to provide Java Application Programming Interfaces (APIs) to numerical libraries originally written in Fortran (particularly BLAS and LAPACK). The result of this work, JLAPACK, is distributed here.

Mathematical library for Pascal compilers

A strong, yet minimalistic Math-oriented Programming Language (MML) providing an easy-to-use console and a command-line script interpreter, targetted towards fast calculations for extremely big numbers, and bundled with a number of math libraries.

A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant

Small and lightweight .NET 2.0 library written in C# for quickly evaluating arithmetical expressions using interpretation or runtime MSIL generation.

{sets} is a lightweight constraint programming language. The uniqueness of {sets}, is that it uses ROBDD ( Reduced Ordered Binary Decision Diagrams ) to represent and solve constraints.

M+ Compiler/Interpreter is a interpreter library written in Java that delivers the possibility to extend any Java application with simple scripts. Besides the usage of native datatypes and operations you can instantiate and call native Java objects.

Cross-platform C++ library for Reverse Polish Notation calculus. Focuses on providing a reusable set of RPN functionalities such as parsing, variable substitution and computation.

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

A C library, providing comfortable APIs for a wide range of Finite State Abstract Machines (NFA, DFA, FST, Bimachines, etc). Implements most of the classical algorithms in the field.

PBL (prounounced "pibble") is a general-purpose language targeted to SCADA applications (Systems Control And Data Acquisition).

kin is a set of libraries and tools supporting meta-programming for engineering and technical computing applications. This JVM version of kin has been superseded by the stand-alone version being developed at http://purl.org/net/kin.

The purpose of this project was to prepare gfortran for integration into gcc. Since this integration was completed in the summer of 2003, this project is now finished. You can find information about gfortran on http://gcc.gnu.org/wiki/GFortran/

Freude is a new general purpose, very type safe, postfix / concatenative language in the style of \"Manfred von Thun\'s\" Joy. Freude programs are composed of axiomatic mathematical structures and verifiably correct concrete implementations thereof.

A functional layer for scientific uses that produces and manipulates real functions as first-class objects. Includes parts of compilers and symbolic manipulators in a straightforward encapsulation that extends scientific programming far beyond math.h.

kasm is an assembler for the Saturn microprocessor, used in the HP48/HP49 calculators. It uses MASD syntax, which has only very small incompatibilities with the traditional syntax, supports a few constructs that make the assembly language be closer to a