Cross-platform, scientific graphics plotting library
PLplot is a cross-platform, scientific graphics plotting library that supports math symbols and human languages (via UTF-8 user input strings); plot capabilities for multiple non-interactive plot file formats and in multiple interactive environments; and bindings for multiple computer languages.
Online game and portal engine.
Open source version of the jsonb engine.
C2Ada is a translator from the C programming language to the Ada programming language.
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.