- Linux (6)
- Modern (5)
- Windows (5)
- BSD (4)
- Grouping and Descriptive Categories (4)
- Emulation and API Compatibility (2)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
Online game and portal engine.
C2Ada is a translator from the C programming language to the Ada programming language.
Unix Tools For Windows15 weekly downloads
Cross-platform, scientific graphics plotting library83 weekly downloads
The counter-example generator for SPARK
Provides a Python interpreter binding for Ada 95 programs.
Offers a TKinter graphical user interface to the management of ACLs.