- Linux (9)
- Modern (9)
- Windows (6)
- Grouping and Descriptive Categories (5)
- Mac (5)
- BSD (4)
- Other Operating Systems (3)
- Embedded Operating Systems (1)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
This project provides binary packages for the Ada front end of GNU compiler collection. The project also provides various Ada libraries like the Ada Web Server and Ada aware Integrated Development Environments (gps and vim).89 weekly downloads
The intention of the GNat Ada Database Environment (GNADE) Project is to provide tools and libraries for the GNU Ada tool chain (GNAT) which do allow easy integration of SQL into Ada 95.1 weekly downloads
A fast, unobtrusive and modern cross-platform GUI toolkit. Agar fully exploits hardware acceleration where available, but also supports simple frame-buffer interfaces. Agar is stand-alone and easily portable to new platforms and graphics systems.
C2Ada is a translator from the C programming language to the Ada programming language.
GTKAda wrapper is a very simplified interface to GTK Ada. It is intended to be used by beginner Ada programmers (students at the beginning of the computer science courses) to easily build graphical applications.
Giant enables fast browsing of large graphs with enhanced analysis features like multiple selections and a fully integrated scripting language.
This classic Othello game is completely written in Ada and GtkAda for Linux.
OS based on Agent based Security with a new type of split kernel and agents platform.
Cloudbased voice solutions are common in enterprise networks and frustrating for operations teams to manage. Simplify VoIP monitoring by having a proactive analysis of on-prem, hybrid and UCaaS voice services. Try the ThousandEyes VoIP monitoring solution today, free.Advertisement
Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.