Developments of the Arenaire team

In 2012, Arénaire merges into AriC, Arithmetic and Computing

This page will no longer be maintened. Please update your links.

All the programs are distributed in the hope that they will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. Unless specificaly noted, see the GNU General Public License version 2 for more details. Rights may be retained by authors or by other copyright holders.

Projects actively developed by Arenaire members

Dependency graph of Arenaire developments

Software libraries

Hardware operators and tools for FPGAs and ASICs

Proofs and tools

Older Arénaire developments