Modula-9

Alternatives to Modula-9

4 listed candidates

About Modula-9

A safety-checked language for machine-written, human-audited code

Open Source View Modula-9