An unofficial installer for Alire
☆19Apr 26, 2025Updated last year
Alternatives and similar repositories for getada
Users that are interested in getada are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Kernighan & Cherry's "Typesetting Mathematics -- User's Guide (2nd ed.)" documenting eqn, retypeset with groff☆14Jun 6, 2026Updated last week
- ☆17Jun 4, 2026Updated last week
- D language plugin for Textadept☆13Aug 20, 2020Updated 5 years ago
- An experiment in language design and compiler building.☆17Aug 29, 2024Updated last year
- A Oberon-07 to C translator. Forked from http://miasap.se/obnc/☆15Dec 31, 2019Updated 6 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.
- This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation…☆79Mar 18, 2025Updated last year
- ☆25Sep 10, 2024Updated last year
- Platform to submit RFCs for the Ada & SPARK languages☆69Updated this week
- Matreshka is Ada framework to develop information systems☆26Oct 1, 2022Updated 3 years ago
- raspberry ada library☆11Jul 7, 2019Updated 6 years ago
- An Ada-oriented GUI☆45Jun 20, 2025Updated 11 months ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆23Mar 18, 2026Updated 2 months ago
- Aflex the Ada fast lexical analyser generator☆21Jun 22, 2025Updated 11 months ago
- Dynamo Ada Application Code Generator☆18Apr 4, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆42Jun 7, 2024Updated 2 years ago
- Tooling for analysis and manipulation of Ada software☆36Oct 18, 2024Updated last year
- Light Table Developers Guide - Gitbook☆12Feb 11, 2019Updated 7 years ago
- Builds of the GNAT Ada compiler from FSF GCC releases☆58Updated this week
- A build system, libraries, and tools for producing programs for the Game Boy Advance using the Ada programming language.☆12Jul 24, 2023Updated 2 years ago
- Phoenix Hexapod Experiments☆18Jan 11, 2025Updated last year
- Ada major mode using tree-sitter for Emacs☆27Jun 3, 2026Updated last week
- A flight software framework in SPARK/Ada☆59Nov 17, 2025Updated 6 months ago
- Command-line tool from the Alire project and supporting library☆397Updated this week
- 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.
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆167Jun 4, 2026Updated last week
- Open Platform for Autonomous VEhicle Systems☆22Dec 20, 2017Updated 8 years ago
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 6 years ago
- A Nix web bundler because why not☆56Mar 10, 2024Updated 2 years ago
- troff ported from Plan 9☆15Jul 15, 2021Updated 4 years ago
- Epiphany BASIC☆12Jun 30, 2015Updated 10 years ago
- DECnet as an external module for Linux☆19May 18, 2026Updated 3 weeks ago
- Solutions for Advent of Code challenge☆22Dec 12, 2025Updated 6 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A fork of the LAST edition of the open source LiveCode Community cross-platform development environment (engine)☆10Sep 5, 2021Updated 4 years ago
- The AURA Reference Implementation☆25Jul 16, 2025Updated 10 months ago
- ☆35Aug 2, 2022Updated 3 years ago
- Tree-sitter-based Emacs Major Mode for the Janet Programming Language☆18Jun 3, 2026Updated last week
- Tree Sitter API bindings, wrappers and convenience for use in the Odin programming language.☆24Mar 5, 2026Updated 3 months ago
- Source Code for 'Introduction to Java Through Game Development' by Victor G. Brusca☆14Nov 28, 2022Updated 3 years ago
- Read-only mirror of Polycentric repo for issue tracking☆28Updated this week