A modern GUI library for Ada: CSS styling, XML UI, SDL3
☆54Sep 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for adi2
Users that are interested in adi2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This Agent MCP allows you to train external intelligence with zero GPU and let you trade it at Tetrees EX☆300Oct 9, 2026Updated last week
- Ada language support for Zed☆13Nov 17, 2025Updated 11 months ago
- Lightweight system monitor for Linux VPS☆93Updated this week
- A set of Ada components to allow 3D simulations, games and GUI's in Ada.☆13Oct 1, 2026Updated 2 weeks ago
- A set of Ada components to allow 3D simulations, games and GUI's in Ada.☆14Jan 22, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Jul 29, 2020Updated 6 years ago
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 6 years ago
- ☆25Aug 5, 2026Updated 2 months ago
- A compiler for the Algol W programming language.☆18Jun 11, 2026Updated 4 months ago
- Ada 2012 binding to Vulkan☆19Apr 18, 2016Updated 10 years ago
- A standard library for Oberon-2☆13Sep 2, 2014Updated 12 years ago
- A component to aid in writing shell-like applications in Ada.☆18Aug 31, 2026Updated last month
- AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Na…☆25Sep 12, 2026Updated last month
- Semantic versioning in Ada☆14Sep 21, 2026Updated 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An Ada 2012 implementation of the Rx methodology☆24Mar 6, 2024Updated 2 years ago
- Free Oberon Compiler☆16Jun 25, 2024Updated 2 years ago
- Minimal Ada VT100 API library. [when one doesn't need full ncurses...]☆12Jul 2, 2015Updated 11 years ago
- GPM/CLR is an implementation of the historical Gardens-Point Modula-2 compiler for the .NET runtime. It provides an example of how a non-…☆16May 11, 2017Updated 9 years ago
- Thick database bindings to MySQL, PostgreSQL and SQLite for Ada☆35Oct 16, 2022Updated 4 years ago
- A sourced model and short report: can Europe train a sovereign frontier AI model on the public compute it already owns, while gigawatt da…☆46Jun 15, 2026Updated 4 months ago
- Configs and scripts to launch a WindowMaker session with GNUstep, gnome-settings-daemon, conky and compton as compositing manager. A Wind…☆16Oct 29, 2021Updated 4 years ago
- Formally verified, bounded-stack XML library☆24May 26, 2020Updated 6 years ago
- Analysis and manipulation of Ada software based on concrete syntax☆26Dec 11, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Open-source security gateway & static scanner for AI agents. Enforce role-based access control (RBAC), human-in-the-loop approvals, seg…☆54Oct 5, 2026Updated last week
- The PragmAda Reusable Components☆36Jul 31, 2026Updated 2 months ago
- Ada Unit Testing Library☆11Aug 3, 2025Updated last year
- A native, statically typed Lisp with a REPL that compiles to Odin.☆51Oct 7, 2026Updated last week
- An unofficial installer for Alire☆20Jul 13, 2026Updated 3 months ago
- Platform to submit RFCs for the Ada & SPARK languages☆70Updated this week
- Ada-language framework☆53Updated this week
- FreePascal grammar, lexer, parser and code browser☆25Aug 8, 2023Updated 3 years ago
- Common Lisp to WebAssembly compiler using WasmGC☆26Jan 25, 2026Updated 8 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A tray icon and desktop alerts for systemd services and custom health checks☆87Updated this week
- Algol 60 compiler with reusable intemediate representation (AIR) and LuaJIT backend, written in C++98/Qt5☆22Oct 10, 2026Updated last week
- Formally verified 3D mesh intersection - trust 93 lines of spec, not 1000+ lines of AI-written code☆107Aug 1, 2026Updated 2 months ago
- A process for Ada/SPARK software to meet ISO 26262☆32Aug 20, 2026Updated last month
- Ada 2012 bindings for Wayland☆11Aug 15, 2022Updated 4 years ago
- generates hashes that can be used to test your node.js application against a vulnerabilty to hash collisions attacks☆15Jan 8, 2012Updated 14 years ago
- A flight software framework in SPARK/Ada☆63Nov 17, 2025Updated 11 months ago