Compiler Technology

Mathematical Libraries

Applications

Tools

Documentation projects

Add a new project

The purpose of this project was to provide a way to import C++ classes in Aldor to be used as categories and domains and vice-versa.

This interface allows Aldor functions to call Fortran functions and vice-versa.

This work aims at providing an access to Java classes from Aldor and vice-versa.

The purpose here is to achieve a back-end interoperability between Java and Aldor using their respective intermediate languages. The main idea is to provide FOAM's advanced optimisations to the Java world.

libaldor (formally known as salli) is the new standard Aldor library. It is a compact replacement and enhancement for the axllib and basiclib libraries that used to be provided by NAG Ltd. together with the Aldor compiler.

The goal of the Paraldor project is to investigate the feasibility of writing portable yet efficient programs for very large scale numerical computations on massively parallel computers. By abstracting the mathematical frameworks within which various algorithms operate in categorical terms, and providing domains which satisfy these categories and are implemented efficiently on particular parallel computer architectures, we hope to demonstrate that efficiency, portability, reusability, correctness, and readability are not orthogonal concepts. An important aspect of the project is investigating what information about the target architecture (parallelism, memory hierarchy, etc.) would be useful to make visible to the Aldor compiler and how this could be done.

The purpose of this project is to provide parallel garbage collector for Aldor.

, called pi-it, is a library for parallel Aldor computation, currently under development at ETH Zürich. It is designed to be architecture independent (heterogenous) and runs on network of workstations, where a workstation can be a single processor or a multiprocessor machine (shared or distributed memory).

This projects aims at improving the way that Aldor represents type values at runtime.

Algebra is a new general-purpose computer algebra library designed to provide reusable and efficient algorithms for manipulating the standard objects of algebra, namely polynomials, series and matrices. Built as an extension of the libaldor library, it provides Aldor programmers with an extensible computer algebra layer with a rich data type hierarchy.

The aim of the project is to integrate into Aldor a capability for reasoning. The logic is embedded into the types of Aldor by means of a modified version of Aldor's dependent types.

Extended mathematical library for Aldor capable of replacing the standard library altogether.

Aldor library for critical-pair/completion algorithms (Gröbner bases, involutive bases). Commutative and (some) non-commutative cases are covered.

The idea is to begin a library of Aldor categories and domains organized around category theory in the mathematical sense. In more detail, the goals are to
a) find working design patterns for categories, functors, natural transformations, adjoints within Aldor
b) encode known facts about category theory (the adjoint functor theorem, for example) into the system
c) produce a library implementing the most basic and useful categories.

Representation of MathML objects in Aldor, with translation functions from Aldor to MathML and vice-versa.

Representation of and Operations on structured matrices

Sum^it is a computer algebra library designed to provide reusable and efficient implementations of algorithms for manipulating and solving linear ordinary differential and difference equations and systems. Built as an extension of the Algebra library, it provides Aldor programmers with a extensible computer algebra layer with many low--level functions for handling skew--polynomials and their related skew--linear systems.

Using the functional features of Aldor, this project showed it was possible - in some well-defined cases - to animate some algorithms without modifying the code of the functions. Only a wrapping of the to-be-animated types was needed.

Aldoc, extract and aldoc2html are utilities that help programmers documenting their Aldor programs in a easy way. The LaTeX2e class file aldoc provides useful macros with a unique manual page layout. extract is a utility that converts documented Aldor programs to LaTeX2e code and aldoc2html converts .tex files to optimized .tex files for latex2html.

Tool for automatic code documentation generation. It uses XML as an IL.

If you are using Aldor you might consider to install this aldor-mode for EMACS.

The project was a conversion of the latex-based Aldor User Guide into HTML format for easier access.

This documentation project strives to list and explain each element of the FOAM language.