AdaCore/gnat_community_install_script external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

AdaCore/gnat_community_install_script

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/AdaCore/gnat_community_install_script)

Close

AdaCore / gnat_community_install_scriptView on GitHubMore

• External links
• Readme badge

Script to automate the installation of the GNAT Community Installers

☆18Nov 13, 2019Updated 6 years ago

Alternatives and similar repositories for gnat_community_install_script

Users that are interested in gnat_community_install_script are comparing it to the libraries listed below

• AdaCore / Ada-SPARK-Crate-Of-The-Year

  View on GitHub
  ☆22Nov 18, 2025Updated 3 months ago
• thindil / vim-ada

  View on GitHub
  Ready-to-deploy plugins and configuration which change Vim/NeoVim into (mostly Ada) IDE
  ☆30Oct 11, 2022Updated 3 years ago
• Fabien-Chouteau / bbqueue-spark

  View on GitHub
  An Ada implementation of James Munns' BBQueue
  ☆11Oct 17, 2025Updated 4 months ago
• damaki / libkeccak

  View on GitHub
  SHA-3 and other Keccak related algorithms in SPARK/Ada.
  ☆37Oct 19, 2023Updated 2 years ago
• annexi-strayline / AURA

  View on GitHub
  The AURA Reference Implementation
  ☆24Jul 16, 2025Updated 7 months ago
• ellamosi / libgade

  View on GitHub
  A GameBoy emulation library in Ada
  ☆29Updated this week
• NVIDIA / spark-process

  View on GitHub
  A process for Ada/SPARK software to meet ISO 26262
  ☆28Jul 8, 2025Updated 7 months ago
• alire-project / clic

  View on GitHub
  Command Line Interface Components
  ☆14Feb 17, 2024Updated 2 years ago
• Componolit / Cappulada

  View on GitHub
  [DEPRECATED] Generate Ada bindings to C++ code
  ☆16Dec 9, 2019Updated 6 years ago
• jrmarino / AdaBase

  View on GitHub
  Thick database bindings to MySQL, PostgreSQL and SQLite for Ada
  ☆35Oct 16, 2022Updated 3 years ago
• ohenley / COVID-19_Simulator

  View on GitHub
  Qt5 COVID-19 simulator. Ada code under the hood. 🤯
  ☆11Oct 29, 2020Updated 5 years ago
• HeisenbugLtd / Saatana

  View on GitHub
  A cryptographic framework, proven for correctness in SPARK
  ☆15Dec 16, 2024Updated last year
• zertovitch / ada-bar-codes

  View on GitHub
  Ada Bar Codes: bar code (1D and 2D) generator in pure Ada
  ☆17Dec 6, 2025Updated 2 months ago
• jrcarter / PragmARC

  View on GitHub
  The PragmAda Reusable Components
  ☆36Jan 9, 2026Updated last month
• reznikmm / ada-howto

  View on GitHub
  Collection of How-to documents for Ada
  ☆36Jun 1, 2021Updated 4 years ago
• awslabs / LibMLKEM

  View on GitHub
  ☆25Feb 18, 2026Updated last week
• AdaCore / libadalang-tools

  View on GitHub
  Libadalang-based tools
  ☆21Updated this week
• AdaCore / ada-traits-containers

  View on GitHub
  Generic Ada Library for Algorithms and Containers
  ☆34Nov 5, 2024Updated last year
• TamaMcGlinn / AdaBots

  View on GitHub
  Learn Ada by programming Minecraft robots!
  ☆19Jan 13, 2026Updated last month
• zertovitch / hac

  View on GitHub
  HAC Ada Compiler - a small, quick Ada compiler fully in Ada
  ☆158Jan 31, 2026Updated last month
• AdaCore / ada-spark-rfcs

  View on GitHub
  Platform to submit RFCs for the Ada & SPARK languages
  ☆69Updated this week
• rod-chapman / SPARKNaCl

  View on GitHub
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆131Mar 17, 2025Updated 11 months ago
• AdaCore / cuda

  View on GitHub
  ☆21Sep 10, 2024Updated last year
• Componolit / SXML

  View on GitHub
  Formally verified, bounded-stack XML library
  ☆24May 26, 2020Updated 5 years ago
• Lucretia / free-ada

  View on GitHub
  Build scripts for FSF GCC and AdaCore tools
  ☆49Apr 13, 2021Updated 4 years ago
• OneWingedShark / Byron

  View on GitHub
  The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
  ☆63May 16, 2020Updated 5 years ago
• AdaCore / xmlada

  View on GitHub
  The XML/Ada toolkit.
  ☆29Jan 26, 2026Updated last month
• Ada-Rapporteur-Group / User-Community-Input

  View on GitHub
  Ada User Community Input Working Group - Github Mirror Prototype
  ☆32Oct 9, 2024Updated last year
• Componolit / libsparkcrypto

  View on GitHub
  A cryptographic library in SPARK 2014
  ☆28Jan 26, 2021Updated 5 years ago
• pchapin / augusta

  View on GitHub
  A compiler for an Ada-like language
  ☆32May 5, 2025Updated 9 months ago
• jscparker / math_packages

  View on GitHub
  Collection of basic math routines in Ada
  ☆27Oct 31, 2022Updated 3 years ago
• JeremyGrosser / pico_examples

  View on GitHub
  Ada examples for the Raspberry Pi Pico
  ☆39Aug 4, 2025Updated 6 months ago
• Retropex / knots-startos

  View on GitHub
  wrapper for building bitcoind.s9pk
  ☆11Updated this week
• hetianch / AdaBoost

  View on GitHub
  A simple adaboost code using decision stumps as weak classifiers
  ☆11Nov 1, 2012Updated 13 years ago
• AdaCore / gnat-llvm

  View on GitHub
  LLVM based GNAT compiler
  ☆222Feb 20, 2026Updated last week
• alire-project / ada_spark_workflow

  View on GitHub
  A demo of best practices for open-source Ada/SPARK development
  ☆40Oct 26, 2024Updated last year
• iammingge / Driver_W25Qxx

  View on GitHub
  W25Qxx Family Driver
  ☆12Sep 28, 2024Updated last year
• yaml / AdaYaml

  View on GitHub
  experimental YAML 1.3 implementation in Ada
  ☆45Jan 20, 2022Updated 4 years ago
• RobertPHeller / FritzingPartsSVGEditor-QT5

  View on GitHub
  Fritzing Parts SVG image editor, coded in C++/QT5
  ☆10Jul 2, 2019Updated 6 years ago