- 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
Scientific graphics plotting library, supporting multiple languages.72 weekly downloads
Unix Tools For Windows13 weekly downloads
Offers a TKinter graphical user interface to the management of ACLs.2 weekly downloads
Provides a Python interpreter binding for Ada 95 programs.
The counter-example generator for SPARK
Online game and portal engine.
C2Ada is a translator from the C programming language to the Ada programming language.