Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
71,372 visible repositories in the index
1–24 of 68 · Most stars
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 semantic analysis library.
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
SPARK 2014 re-implementation of the TweetNaCl crypto library
Ada 2022 bindings to SDL 2
- sdl
- sdl-ttf
- ada
- ada2012
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Ada Web Application - Framework to build high performance secure web applications
- web-framework
- ada
- database
- orm
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
This project is obsolete is no longer developed, maintained or serviced!
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
AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
- aadl
- ada
A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
SHA-3 and other Keccak related algorithms in SPARK/Ada.
- hash-functions
- keccak
- sha-3
- sponge-construction
Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.
- ada
- ada-language
- zip
- zip-archive
The PragmAda Reusable Components
Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
An attempt at a minimalistic and secure operating system.
Collection of basic math routines in Ada
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
Yet Another Static Site (Generator)
- ada
- markdown
- static-site-generator
- yass