Библиотеки, написани на Ada

septum

Контекстно базиран инструмент за търсене на код.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio е мощна и лека IDE за Ada и SPARK..
  • 335

AdaDoom3

Id-tech-4-BFG на Id Software на езика за програмиране Ada..
  • 246

synth

Следващ инструмент за изграждане на D/Ports за живи системи (Алтернатива за инструменти Portmaster и Portupgrade) (от jrmarino).
  • 244
  • ISC

alire

Инструмент за команден ред от проекта Alire и поддържаща библиотека.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Изходен код на Ada и пълни примерни GNAT проекти за избрани платформи без дъска, поддържани от GNAT..
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 е новата версия на SPARK, технология за разработка на софтуер, специално проектирана за инженерни приложения с висока надеждност.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Сървър, внедряващ езиковия протокол на Microsoft за Ada и SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

LLVM базиран GNAT компилатор.
  • 155

spark-by-example

SPARK by Example е адаптация на ACSL by Example за SPARK 2014, език за програмиране, който е официално потвърдено подмножество на Ada.
  • 146

libadalang

Библиотека за семантичен анализ на Ada..
  • 132
  • GNU General Public License v3.0

aws

AWS е пълна рамка за разработване на уеб базирани приложения в Ada. (от AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Ada 2012 обвързвания към SDL 2.
  • 99
  • zlib

SPARKNaCl

SPARK 2014 повторно внедряване на крипто библиотеката TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Официална спецификация и генериране на проверими двоични парсери, генератори на съобщения и машини за състояния на протоколи.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Огледало на roguelike в небето със стиймпънк обстановка.
  • 88

OpenGLAda

Дебело свързване на Ada за OpenGL и GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - малък, бърз Ada компилатор изцяло в Ada.
  • 86

ada-awa

Ada Web Application - Рамка за изграждане на защитени уеб приложения с висока производителност.
  • 85
  • Apache License 2.0

learn

Източници за learn.adacore.com (от AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Изходният код на ръководството за разработка на Ada Bare Bones OS.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild е усъвършенствана система за изграждане, предназначена да помогне за автоматизирането на изграждането на многоезични системи.
  • 55
  • GNU General Public License v3.0

svd2ada

Генератор на свързване на Ada от SVD описания за ARM устройства с голи платки..
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Този проект съдържа различни GNAT Ada Run Time Systems (RTS), насочени към Cortex платки: досега Arduino Due, платките за оценка от серията STM32F4 от STMicroelectronics и BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Ядрото за изобразяване на OpenGL 4.6 в Ada 2012.
  • 50
  • Apache License 2.0

VSS

Библиотека за обработка на низове и текст на високо ниво.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Колекция от компоненти на GNAT – Основни пакети.
  • 44
  • GNU General Public License v3.0

adawebpack

Ada WASM Runtime and Bindings for Web API.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA е терминален емулатор за общи данни DASHER D200/D210.
  • 35
  • MIT

json-ada

Библиотека на Ada 2012 за анализиране на JSON.
  • 35
  • Apache License 2.0