Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
Repository Index
55,140 visible repositories in the index
1–24 of 61 · 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.
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
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
An Ada binding generator from SVD descriptions for bare board ARM devices.
Ada-language framework
- ada
- ada-language
- arm
- avr
An Ada 2012 library for parsing JSON
- ada
- json-ada
- json
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
Ada Embedded Network Stack
An Ada 2012 implementation of the Rx methodology
- rx
- rxjava
- rxada
- reactive-programming
Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
- ada
- civilization
- learning-by-doing
- learning
Ada Security - OAuth 2.0 client and server framework to secure web applications
- oauth
- openid
- authentication
- permissions
Ada API to the Windows library
Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It use soundio, or alsa or win32 sound subsystem
- sound
- synthetizer
- wav
- win32mm
The repository host gives no description.
Ethernet traffic monitor on a STM32F746 board
Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
- ada
- ada-language
- barcode
- barcode-generator
An Ada 2012 emulation of Charles Babbage’s Analytical Engine
- ada
- emulator
- gmp
An Ada 2012 package to parse command line arguments and options
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada