- Linux (14)
- Windows (13)
- Android (9)
- Grouping and Descriptive Categories (7)
- Modern (4)
- BSD (3)
- Other Operating Systems (3)
- Solaris (3)
- Audio & Video
- Business & Enterprise
- Home & Education
- Science & Engineering
- Security & Utilities
- System Administration
GHDL - a VHDL simulator194 weekly downloads
Ada cross compiler and libraries for AVR µCs10 weekly downloads
A collection of useful software packages to perform engineering tasks, especially electrical engineering and chip design. All packages come as shrink-wrapped installers for Apple's Mac OS X.37 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.8 weekly downloads
Supports writing Ada software for Cortex-M3, M4F boards3 weekly downloads
Collection of embedded softwares to control a telescope mount.2 weekly downloads
Qt4Ada is a thick Ada2005 binding for the Qt4 library, trying to reflect in Ada the C++ structure of Qt (inheritance), keeping the Qt spirit while providing an Ada feeling.2 weekly downloads
GEL is a collection of embedded libraries and examples for 68HC11 and 68HC12 microcontrollers. It provides various embedded libraries like: - a small libc - an event driven library - LCD 128x64 graphical library - robot library1 weekly downloads
It is (no stack based!) VM in a form of a library. It supports different language paradigms without data type restrictions, allows both interpretation and JIT, produces a fast code. Our goal - to have a GENERIC and POWER tool for code migration.1 weekly downloads
C2Ada is a translator from the C programming language to the Ada programming language.
CGNU (Clean GNU) aims to use modern documentation technologies to clean the GNU project of bitrot and outdated build technology.
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
OS based on Agent based Security with a new type of split kernel and agents platform.
XML4Ada95 is a binding to the Apache Xerces package for Ada 95, thus providing the first (and until now only) validating XML-package for Ada 95, making XML-Docs accesible via Standard DOM. For now see www.nodix.de/xml4ada95
Z9basic application and database environment