Ada ile yazılmış kütüphaneler
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
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
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
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
ada-awa
Ada Web Uygulaması - Yüksek performanslı güvenli web uygulamaları oluşturmak için çerçeve.
- 85
- Apache License 2.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
adawebpack
Web API için Ada WASM Çalıştırma Zamanı ve Bağlamalar.
- 41
- BSD 3-clause "New" or "Revised"