# GitHub repos by AdaCore

<https://repo.masters-masters.com/en/owners/AdaCore>

[Home](https://repo.masters-masters.com/en) › [AdaCore](https://repo.masters-masters.com/en/owners/AdaCore)

All 11 public GitHub repos by AdaCore in RepoMasters, most starred first: stars, language, tier and card for each.

## GitHub repos by AdaCore

11 public repos by AdaCore in the catalog, most starred first.

- [AdaCore/gnatstudio · ★ 534 · Ada · Alpha](https://repo.masters-masters.com/en/repos/AdaCore/gnatstudio)
- [AdaCore/spark2014 · ★ 332 · Ada · Alpha](https://repo.masters-masters.com/en/repos/AdaCore/spark2014)
- [AdaCore/ada\_language\_server · ★ 307 · Ada · Alpha](https://repo.masters-masters.com/en/repos/AdaCore/ada_language_server)
- [AdaCore/Ada\_Drivers\_Library · ★ 287 · Ada · Alpha](https://repo.masters-masters.com/en/repos/AdaCore/Ada_Drivers_Library)
- [AdaCore/gnat-llvm · ★ 240 · Ada · Prototype](https://repo.masters-masters.com/en/repos/AdaCore/gnat-llvm)
- [AdaCore/libadalang · ★ 172 · Ada · Prototype](https://repo.masters-masters.com/en/repos/AdaCore/libadalang)
- [AdaCore/aws · ★ 163 · Ada · Prototype](https://repo.masters-masters.com/en/repos/AdaCore/aws)
- [AdaCore/RecordFlux · ★ 131 · Ada · Prototype](https://repo.masters-masters.com/en/repos/AdaCore/RecordFlux)
- [AdaCore/gsh · ★ 117 · C · Prototype](https://repo.masters-masters.com/en/repos/AdaCore/gsh)
- [AdaCore/learn · ★ 116 · Ada · Prototype](https://repo.masters-masters.com/en/repos/AdaCore/learn)
- [AdaCore/gtkada · ★ 112 · Ada · Prototype](https://repo.masters-masters.com/en/repos/AdaCore/gtkada)

## See AdaCore on GitHub

- [https://github.com/AdaCore](https://github.com/AdaCore)

---
Data: GitHub