Binary releases of GCC (native and cross) on macOS; also, the scripts/Makefiles used for producing them.
☆49Mar 16, 2025Updated last year
Alternatives and similar repositories for distributing-gcc
Users that are interested in distributing-gcc are comparing it to the libraries listed below
Sorting:
- Scripts for building GCC on macOS☆28Jan 31, 2025Updated last year
- Standard Ada library specification as defined in Reference Manual☆24Aug 29, 2021Updated 4 years ago
- Ada User Community Input Working Group - Github Mirror Prototype☆33Oct 9, 2024Updated last year
- An Ada 2012 emulation of Charles Babbage’s Analytical Engine☆15May 13, 2022Updated 3 years ago
- Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.☆25Jul 30, 2013Updated 12 years ago
- DasherA is a Data General DASHER D200/D210 terminal emulator☆37Feb 21, 2026Updated last month
- GCC 12 for Darwin with experimental Arm64 support. Current release 12.4-darwin-r0 [June 2024]☆23Jan 19, 2025Updated last year
- Learn Ada by programming Minecraft robots!☆19Jan 13, 2026Updated 2 months ago
- libsodium for Ada - A secure cryptographic library☆11Jul 18, 2016Updated 9 years ago
- An experiment in language design and compiler building.☆17Aug 29, 2024Updated last year
- Pascal to Ada translator☆18Oct 20, 2024Updated last year
- Zip-Ada: a standalone, portable pure Ada library for .zip archives. Includes LZMA and BZip2 byte stream encoder & decoder pairs.☆33Mar 14, 2026Updated last week
- Ada 2022 bindings to SDL 2☆129Jul 24, 2025Updated 7 months ago
- A Money library for Ada☆24Aug 23, 2023Updated 2 years ago
- Advanced UNIX Terminal UI Ada Binding Package☆17May 1, 2020Updated 5 years ago
- Builds of the GNAT Ada compiler from FSF GCC releases☆55Updated this week
- Aflex the Ada fast lexical analyser generator☆18Jun 22, 2025Updated 9 months ago
- Yet Another Static Site (Generator)☆26Sep 5, 2025Updated 6 months ago
- High level string and text processing library☆60Sep 1, 2025Updated 6 months ago
- gnoga - The GNU Omnificent GUI for Ada☆17Sep 8, 2024Updated last year
- LLVM based GNAT compiler☆223Mar 13, 2026Updated last week
- Ada examples for the Raspberry Pi Pico☆39Aug 4, 2025Updated 7 months ago
- Sources for learn.adacore.com☆112Mar 11, 2026Updated last week
- Ada Database Objects☆29Mar 6, 2026Updated 2 weeks ago
- Complete Ada-Mode as Vim-Ball or Tar.bz2☆14Jan 3, 2025Updated last year
- The AURA Reference Implementation☆24Jul 16, 2025Updated 8 months ago
- Ada Embedded Network Stack☆24Dec 23, 2025Updated 2 months ago
- An Ada-oriented GUI☆45Jun 20, 2025Updated 9 months ago
- Platform to submit RFCs for the Ada & SPARK languages☆69Mar 12, 2026Updated last week
- HAC Ada Compiler - a small, quick Ada compiler fully in Ada☆158Jan 31, 2026Updated last month
- A software bridge between certain popular Daikin™ HVAC units and MQTT.☆14May 6, 2022Updated 3 years ago
- Dynamo Ada Application Code Generator☆17Jan 4, 2026Updated 2 months ago
- A curated list of awesome resources related to the Ada and SPARK programming language☆816Mar 13, 2026Updated last week
- Ayacc - An Ada LALR(1) parser generator☆24Jun 22, 2025Updated 9 months ago
- General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64☆86Mar 14, 2026Updated last week
- Mathpaqs: a collection of mathematical packages in pure Ada☆13Feb 6, 2026Updated last month
- The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted …☆22Aug 19, 2022Updated 3 years ago
- Bourne shell, template engine, scripting language reliable, scalable projects. Based a ISO standard proven effective for large, mission-…☆50Updated this week
- Tooling for analysis and manipulation of Ada software☆35Oct 18, 2024Updated last year