Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
81,588 visible repositories in the index
1–24 of 42 · Most stars
William Whitaker's WORDS, a Latin dictionary
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
Next D/Ports build tool for live systems (Alternative for Portmaster and Portupgrade tools)
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more
- logging
- process
- streams
- serializer
GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.
A secure and high performances microkernel for building secure MCU-based IoTs
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
The Google Protocol Buffers implementation in Ada
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
LEA is a Lightweight Editor for Ada
- ada
- ada-language
- editor
- scintilla
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.
Tomek's Ada build tool
- ada
- package-manager
- tada
GEneric Sprite and Tile Engine
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada
ada privilege escalation
Utility library to pretty print physical values in proper metric units
- ada2012
- ada
- utility-library
- formatting-output
An Ada 2012 project that implements reference counting approaches to resource management with an emphasis on safety and usability.
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor
Ada Servlet - Web Servlet Library following JSR 154, JSR 315
- web
- servlet
- servlet-filter
- ada