Ada ile yazılmış kütüphaneler

septum

Bağlam tabanlı kod arama aracı.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio, Ada ve SPARK için güçlü ve hafif bir IDE'dir.
  • 335

AdaDoom3

Ada programlama dilinde Id Software'in Id-tech-4-BFG'si..
  • 246

synth

Sonraki D/Ports, canlı sistemler için oluşturma aracı (Portmaster ve Portupgrade araçları için alternatif) (jrmarino tarafından).
  • 244
  • ISC

alire

Alire projesinden ve destekleyici kitaplıktan komut satırı aracı.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

TBMM tarafından desteklenen seçili çıplak platformlar için ada kaynak kodu ve eksiksiz örnek TBMM projeleri..
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014, yüksek güvenilirlikli uygulamaların mühendisliği için özel olarak tasarlanmış bir yazılım geliştirme teknolojisi olan SPARK'ın yeni sürümüdür.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Ada ve SPARK için Microsoft Dil Protokolünü uygulayan sunucu.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

LLVM tabanlı TBMM derleyicisi.
  • 155

spark-by-example

SPARK by Example, ACSL by Example'ın Ada'nın resmi olarak doğrulanmış bir alt kümesi olan bir programlama dili olan SPARK 2014 için uyarlamasıdır.
  • 146

libadalang

Ada semantik analiz kütüphanesi..
  • 132
  • GNU General Public License v3.0

aws

AWS, Ada'da Web tabanlı uygulamalar geliştirmek için eksiksiz bir çerçevedir. (AdaCore tarafından).
  • 115
  • GNU General Public License v3.0

sdlada

Ada 2012, SDL 2'ye bağlanır.
  • 99
  • zlib

SPARKNaCl

TweetNaCl kripto kitaplığının SPARK 2014 yeniden uygulaması.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Doğrulanabilir ikili ayrıştırıcıların, mesaj oluşturucuların ve protokol durum makinelerinin resmi belirtimi ve üretimi.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Steampunk ayarıyla gökyüzünde roguelike aynası.
  • 88

OpenGLAda

OpenGL ve GLFW için kalın Ada bağlama.
  • 86
  • MIT

hac

HAC Ada Derleyici - tamamen Ada'da küçük, hızlı bir Ada derleyici.
  • 86

ada-awa

Ada Web Uygulaması - Yüksek performanslı güvenli web uygulamaları oluşturmak için çerçeve.
  • 85
  • Apache License 2.0

learn

Learn.adacore.com kaynakları (AdaCore tarafından).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Ada Bare Bones işletim sistemi geliştirme eğitimi kaynak kodu.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild, çok dilli sistemlerin yapımını otomatikleştirmeye yardımcı olmak için tasarlanmış gelişmiş bir yapı sistemidir.
  • 55
  • GNU General Public License v3.0

svd2ada

Çıplak tahta ARM cihazları için SVD açıklamalarından bir Ada bağlama üreteci..
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Bu proje, Cortex panolarını hedef alan çeşitli GNAT Ada Run Time Systems (RTS'ler) içerir: şimdiye kadar Arduino Due, STMicroelectronics'ten STM32F4-serisi değerlendirme panoları ve BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Ada 2012'deki OpenGL 4.6 İşleme Çekirdeği.
  • 50
  • Apache License 2.0

VSS

Üst düzey dizi ve metin işleme kitaplığı.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

TBMM Bileşenleri Koleksiyonu – Temel paketler.
  • 44
  • GNU General Public License v3.0

adawebpack

Web API için Ada WASM Çalıştırma Zamanı ve Bağlamalar.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA, Data General DASHER D200/D210 terminal öykünücüsüdür.
  • 35
  • MIT

json-ada

JSON'u ayrıştırmak için bir Ada 2012 kitaplığı.
  • 35
  • Apache License 2.0