2023 Advent of Code in Ada
☆38Oct 10, 2025Updated last year
Alternatives and similar repositories for AoC2023
Users that are interested in AoC2023 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A json-like data structure library in Ada☆13Jun 5, 2026Updated 4 months ago
- smk, the smart make☆13Updated this week
- Solutions for Advent of Code challenge☆22Dec 12, 2025Updated 10 months ago
- The Corporate Bullshit Generator☆17Jun 28, 2026Updated 3 months ago
- An Ada-oriented GUI☆46Aug 31, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Community index for the Alire project☆69Updated this week
- Analysis and manipulation of Ada software based on concrete syntax☆26Dec 11, 2025Updated 10 months ago
- ☆25Aug 5, 2026Updated 2 months ago
- Mathpaqs: a collection of mathematical packages in pure Ada☆15Jun 4, 2026Updated 4 months ago
- Ada User Community Input Working Group - Github Mirror Prototype☆37Oct 9, 2024Updated 2 years ago
- The Ada Conformity Assessment Test Suite, customised for GCC.☆12Aug 1, 2024Updated 2 years ago
- Wasabee: a Web browser with safety focus. Project is in early development stage.☆14Jan 17, 2026Updated 9 months ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆18Jul 10, 2025Updated last year
- Command-line tool from the Alire project and supporting library☆415Sep 24, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Demo application containing fullstack solution (frontend + backend) APIs in pure Golang.☆18Dec 5, 2024Updated last year
- Ada-language framework☆53Updated this week
- “Quite OK Image” Ada implementation☆16Apr 1, 2022Updated 4 years ago
- An Ada 2012 implementation of the Rx methodology☆24Mar 6, 2024Updated 2 years ago
- Standard Ada library specification as defined in Reference Manual☆24Aug 29, 2021Updated 5 years ago
- HPC research and demonstrations☆117Dec 17, 2025Updated 10 months ago
- Ada binding and tools for ROS2 - workspace overlay and documentation☆28Sep 19, 2024Updated 2 years ago
- A dead simple on demand video streaming service written in rust.☆13Mar 26, 2020Updated 6 years ago
- Commodore 64 SID player implemented in pure Rust☆31May 2, 2026Updated 5 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- WASM on CloudFlare Workers☆13Aug 13, 2022Updated 4 years ago
- Scripts used to setup a Raspberry Pi for use with the Raspberry Pi CNC board☆21Apr 29, 2020Updated 6 years ago
- An Ada USB stack for embedded devices☆24Jun 17, 2026Updated 4 months ago
- An attempt at a minimalistic and secure operating system.☆29May 28, 2021Updated 5 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Jul 21, 2026Updated 2 months ago
- Scheme on Java on Common Lisp☆24Feb 22, 2026Updated 7 months ago
- Save your resources, reach them from anywhere☆17Jun 4, 2020Updated 6 years ago
- Aflex the Ada fast lexical analyser generator☆22Jun 22, 2025Updated last year
- ☆24May 16, 2024Updated 2 years ago
- 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.
- Generate an MP3 mix from an .m3u playlist.☆11May 16, 2021Updated 5 years ago
- GWindows: GUI framework for MS Windows and Winelib☆27Aug 25, 2026Updated last month
- Typescript implementation of Relaxed Radix Balanced Trees☆19Sep 15, 2024Updated 2 years ago
- High-performance, memory-efficient, safe multimode sync <-> async channels built for real-time, low-overhead communication in concurrent …☆19Sep 30, 2026Updated 2 weeks ago
- AWS CDK Construct libraries☆16Jan 5, 2023Updated 3 years ago
- Public issue tracker for the Ultorg Desktop application☆14Jan 19, 2023Updated 3 years ago
- Some things I coded early on closer to 2012, shortly after learning PHP and hearing about Ajax (but before I learned about JSON). A gamin…☆10Apr 20, 2020Updated 6 years ago