GNAT-AUX / GCC-AUX / Draco Ada compiler development
☆18Feb 24, 2026Updated last week
Alternatives and similar repositories for draco
Users that are interested in draco are comparing it to the libraries listed below
Sorting:
- libsodium for Ada - A secure cryptographic library☆10Jul 18, 2016Updated 9 years ago
- Mathpaqs: a collection of mathematical packages in pure Ada☆13Feb 6, 2026Updated last month
- ☆22Mar 20, 2024Updated last year
- The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …☆22Aug 19, 2022Updated 3 years ago
- OpenGL GUI toolkit library for Ada☆28Feb 15, 2013Updated 13 years ago
- Sound Synthetizer Library implemented in Ada, from wavtable it resamples the elements and permit to create chords and notes from it. It u…☆20Aug 9, 2023Updated 2 years ago
- The Ada Microkernel Project☆116May 13, 2015Updated 10 years ago
- GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images☆27Jan 5, 2026Updated 2 months ago
- Simple blockchain in Ada☆22Sep 11, 2025Updated 5 months ago
- For education☆14Jan 3, 2026Updated 2 months ago
- Ada support for OpenAPI code generator☆30Nov 10, 2025Updated 3 months ago
- a SDK for creating a large mesh network, App example on☆16Feb 26, 2019Updated 7 years ago
- AVD workshop repository to deliver workshop content specific to AVD.☆10Updated this week
- This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation…☆78Mar 18, 2025Updated 11 months ago
- Collection of basic math routines in Ada☆27Oct 31, 2022Updated 3 years ago
- ☆10Aug 7, 2025Updated 7 months ago
- ☆13Aug 10, 2024Updated last year
- Open source pocket synthesizer☆35Apr 25, 2024Updated last year
- The PragmAda Reusable Components☆36Jan 9, 2026Updated 2 months ago
- GNATcoverage: Coverage Analysis Tool☆46Mar 3, 2026Updated last week
- The modified bcmon from google code☆11Aug 23, 2022Updated 3 years ago
- Plover plugin for computer aided transcription (CAT)☆16Feb 21, 2026Updated 2 weeks ago
- X-keys SDK for OSX☆14Oct 16, 2025Updated 4 months ago
- ☆16Oct 8, 2025Updated 5 months ago
- One-stop shop for individuals exploring career advice, training opportunities, and funding to further their employment potential across t…☆11Nov 13, 2025Updated 3 months ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- Common plugin suite for the ufo-core processing framework☆10Feb 6, 2026Updated last month
- SHA-3 and other Keccak related algorithms in SPARK/Ada.☆37Oct 19, 2023Updated 2 years ago
- Fournir des ressources actionables de sécurité pour les services biomédicaux.☆11Mar 15, 2020Updated 5 years ago
- Automotive Linux BSP Yocto Layer☆11Nov 27, 2025Updated 3 months ago
- ☆10Updated this week
- PCB files for the Adafruit ItsyBitsy 32u4☆10May 5, 2025Updated 10 months ago
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 2 years ago
- A tool to extract plain text from HTML pages☆10Dec 7, 2017Updated 8 years ago
- This is a repository for the LinkedIn Learning course Complete Your First Project in SQL☆25Mar 18, 2024Updated last year
- sbt plugin to upload SCIP indexes to Sourcegraph for precise code intelligence☆16Mar 2, 2026Updated last week
- Microemacs (aka uemacs) v2.0 text editor by Dave Conroy from 1985. Updated to compile on Windows and Linux.☆16Sep 15, 2022Updated 3 years ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago
- Rebar3 plugin wrapper around TypEr☆12Oct 30, 2024Updated last year