Dataset - CKAN

Overview of the Mathemagix type system

The goal of the Mathemagix project is to develop a new and free software for computer algebra and computer analysis, based on a strongly typed and compiled language....
- HTML

You can also access this registry using the API (see API Docs).