Axion-Rodin Files

Brought to you by: khalifam0

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
Parent folder
axion-2.9-NOESIS-20261021-UNOFFICIAL-GMS-rodin.zip	2026-10-21	3.4 GB	26
axion-2.9-NOESIS-20261020-UNOFFICIAL-GMS-rodin.zip	2026-10-21	3.4 GB	18
axion-2.9-NOESIS-20261019-UNOFFICIAL-GMS-rodin.zip	2026-10-19	3.4 GB	19
axion-2.9-NOESIS-20261018-UNOFFICIAL-GMS-rodin.zip	2026-10-18	3.4 GB	14
Totals: 4 Items		13.6 GB	77

Other Useful Business Software

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Save Up to 91% on Cloud Compute With Spot VMs

Automatic sustained-use discounts. One free VM per month. No negotiation needed.

Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.

Start Free

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

RODIN
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
Rodin
Rodin (Relational Object Dbms Implementing java binding in a Not-proprietary way) is a free implementation of Matisse, the proprietary object database. This project is still in early stage of developpement.
axion
RODIN-Ports
ASCP-rodin