Modula-9
A Wirth-family programming language with strict compile-time checks to prevent
1 ratings4.18
Saves1
CategoryDeveloper Tools
PlatformWeb
PricingFree
Modula-9 (M9) is a programming language in the Wirth family designed for code that must be verified for correctness. It features strict type checking and compiler rules that prevent bugs by refusing to compile unsafe or incorrect code patterns. The compiler itself is self-hosted, written in M9, and the language emphasizes safety similar to Rust, with every rule motivated by real bugs. It is free software under GPL-3.0 with a runtime exception.
open-source
Ratings & Reviews
Write a reviewBe the first to share a thoughtful review.
Information
CategoryDeveloper Tools
PlatformsWeb
PricingFree
AccountNot confirmed
ListedOctober 2026
WebVisit
Report a problem
Website checks
Mobile PageSpeed
Automated checks of the public website by Google Lighthouse 13.5.0. Scores can vary between runs.
Checked Oct 21, 2026
Test this website on PageSpeedWebsite checks refresh automatically each week.
- Performance
- 100 out of 100, Good
- Accessibility
- 100 out of 100, Good
- Best Practices
- 100 out of 100, Good
- SEO
- 100 out of 100, Good
Around the Web
Show HN1 source points · 0 comments