Experimental support for coroutines-based generators in Ada
☆13Nov 5, 2022Updated 3 years ago
Alternatives and similar repositories for ada-generators
Users that are interested in ada-generators are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Updated this week
- Alire port to aarch64☆15Aug 21, 2024Updated 2 years ago
- Apache Kafka Ada client library, based off of librdkafka☆15Sep 2, 2022Updated 4 years ago
- ☆13Updated this week
- ☆17Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Ash is an Ada Simple HTTP Server☆13Sep 11, 2021Updated 5 years ago
- A build system, libraries, and tools for producing programs for the Game Boy Advance using the Ada programming language.☆13Jul 24, 2023Updated 3 years ago
- Ada support for OpenAPI code generator☆31Nov 10, 2025Updated 11 months ago
- Reference Card / Cheatsheet of Ada Attributes, Aspects, Pragmas and Standard Library☆15Jul 14, 2024Updated 2 years ago
- A simple HTTP and Websocket library with minimal external dependencies.☆18Sep 10, 2017Updated 9 years ago
- Demostration of FFI from Agda -> Haskell -> C in one project☆12Apr 15, 2013Updated 13 years ago
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 6 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- Ada bindings for the notcurses text user interface library☆15Mar 6, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Learn Ada by programming Minecraft robots!☆21Jan 13, 2026Updated 9 months ago
- Code projects for the book 'Hands-On Embedded Programming with C++17' by Maya Posch☆15Feb 8, 2019Updated 7 years ago
- An unofficial installer for Alire☆20Jul 13, 2026Updated 3 months ago
- Many Decades of AI Algorithms translated (src-to-src) into the Hyperon MeTTa Language☆11Feb 26, 2024Updated 2 years ago
- Dynamo Ada Application Code Generator☆19Apr 4, 2026Updated 6 months ago
- Ada Bar Codes: bar code (1D and 2D) generator in pure Ada☆17Updated this week
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- GrizzlyBer, the fiercest TLV-BER parser!☆15Feb 9, 2026Updated 8 months ago
- A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including …☆21Apr 22, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- c++ bitarray with more simplicity, functionality (and possibly performance) than std::bitset☆13Jun 10, 2024Updated 2 years ago
- Benchmark of vectorized implementations of (1/x) and (1/sqrt(x))☆11Dec 5, 2018Updated 7 years ago
- Drake: A Runtime Library for gcc-Ada☆44May 2, 2020Updated 6 years ago
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 6 years ago
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated last year
- Ada Keystore - protect your sensitive data with secure storage☆37Sep 3, 2026Updated last month
- A source for GTFS feed files available nowhere else. URLs are stable. To send in an updated archive or add a new feed, e-mail file to hel…☆29Mar 19, 2026Updated 7 months ago
- A JNA wrapper for nanomsg/nng☆16Oct 5, 2020Updated 6 years ago
- Wrapper to safely torify applications☆21Apr 19, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Language creation framework.☆95Updated this week
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆57Jan 29, 2026Updated 9 months ago
- ☆11Jan 19, 2024Updated 2 years ago
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆11Dec 12, 2023Updated 2 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 4 years ago
- Ephemeral API stats☆12Aug 26, 2016Updated 10 years ago
- Standard Ada library specification as defined in Reference Manual☆24Updated this week