Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library
☆15Jul 14, 2024Updated 2 years ago
Alternatives and similar repositories for AdaReferenceCard
Users that are interested in AdaReferenceCard are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An unofficial installer for Alire☆20Jul 13, 2026Updated 3 months ago
- Reusable Oberon-2 modules☆12Dec 24, 2025Updated 10 months ago
- A collections of small nifty demos/sample code that may help better layout data or structure project☆10Nov 25, 2019Updated 6 years ago
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 6 years ago
- A standard library for Oberon-2☆13Sep 2, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Complete Ada-Mode as Vim-Ball or Tar.bz2☆13Jan 3, 2025Updated last year
- Framework for platform-independent SPARK components☆24Aug 28, 2020Updated 6 years ago
- The PragmAda Reusable Components☆36Oct 17, 2026Updated last week
- Ada Database Objects☆30Mar 6, 2026Updated 7 months ago
- Ada bindings for the notcurses text user interface library☆15Mar 6, 2023Updated 3 years ago
- A mirror of Ada Reference Manual sources☆11Nov 11, 2023Updated 2 years ago
- Tool for building an AppImage from an Alire crate☆13Aug 7, 2025Updated last year
- Artemis is my project to create portable Oberon-07 modules that can be used in POSIX and Oberon System.☆22Jun 27, 2025Updated last year
- Oberon to D Translator☆10Oct 15, 2019Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A production-ready Ada 2022 library providing functional programming abstractions for type-safe computation.☆15Jun 8, 2026Updated 4 months ago
- Dynamo Ada Application Code Generator☆19Apr 4, 2026Updated 6 months ago
- Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.☆51Mar 16, 2025Updated last year
- Ada WASM Runtime and Bindings for Web API☆85Feb 16, 2025Updated last year
- Platform to submit RFCs for the Ada & SPARK languages☆70Oct 12, 2026Updated 2 weeks ago
- The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …☆23Aug 19, 2022Updated 4 years ago
- An Ada-oriented GUI☆46Aug 31, 2026Updated last month
- Builds of the GNAT Ada compiler from FSF GCC releases☆59Oct 20, 2026Updated last week
- ☆13Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An experiment in language design and compiler building.☆17Aug 29, 2024Updated 2 years ago
- Scripts for building GCC on macOS☆29Jan 31, 2025Updated last year
- An Ada controller for static analysis and rules checking☆18Mar 4, 2024Updated 2 years ago
- Ada Wiki Engine - Parser and renderer for Markdown and other Wiki syntaxes☆20Jul 14, 2026Updated 3 months ago
- NYU Ada/Ed: the first Ada compiler to be validated on the IBM PC.☆14Jul 10, 2012Updated 14 years ago
- A model-based flight software framework for Ada☆50Updated this week
- A Oberon-07 to C translator. Forked from http://miasap.se/obnc/☆16Dec 31, 2019Updated 6 years ago
- Experimental support for coroutines-based generators in Ada☆13Nov 5, 2022Updated 3 years ago
- Ada BSP for the Raspberry Pi Pico☆23Oct 26, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Minimal Ada VT100 API library. [when one doesn't need full ncurses...]☆12Jul 2, 2015Updated 11 years ago
- Ada Web Application - Framework to build high performance secure web applications☆113Aug 9, 2026Updated 2 months ago
- Ada binding to the SFML library☆43Aug 28, 2026Updated last month
- Pascal to Ada translator☆18Oct 20, 2024Updated 2 years ago
- Durham University Oberon-2 Compiler☆22Jan 21, 2015Updated 11 years ago
- smk, the smart make☆13Updated this week
- Reva Forth (public-domain x86 Forth)☆22Jul 30, 2020Updated 6 years ago