Perpustakaan yang ditulis dalam Ada

septum

Alat pencarian kode berbasis konteks.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio adalah IDE yang kuat dan ringan untuk Ada dan SPARK..
  • 335

AdaDoom3

Id Software's Id-tech-4-BFG dalam bahasa pemrograman Ada..
  • 246

synth

Alat build D/Port berikutnya untuk sistem langsung (Alternatif untuk alat Portmaster dan Portupgrade) (oleh jrmarino).
  • 244
  • ISC

alire

Alat baris perintah dari proyek Alire dan pustaka pendukung.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

Ada source code dan contoh lengkap proyek GNAT untuk platform bare-board terpilih yang didukung oleh GNAT..
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014 adalah versi baru SPARK, teknologi pengembangan perangkat lunak yang dirancang khusus untuk merekayasa aplikasi dengan keandalan tinggi..
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Server menerapkan Protokol Bahasa Microsoft untuk Ada dan SPARK.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

Kompiler GNAT berbasis LLVM.
  • 155

spark-by-example

SPARK by Example adalah adaptasi dari ACSL by Example untuk SPARK 2014, bahasa pemrograman yang merupakan subset Ada yang diverifikasi secara formal.
  • 146

libadalang

Ada pustaka analisis semantik..
  • 132
  • GNU General Public License v3.0

aws

AWS adalah kerangka kerja lengkap untuk mengembangkan aplikasi berbasis web di Ada. (oleh AdaCore).
  • 115
  • GNU General Public License v3.0

sdlada

Ada binding 2012 ke SDL 2.
  • 99
  • zlib

SPARKNaCl

SPARK 2014 implementasi ulang perpustakaan crypto TweetNaCl.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Spesifikasi formal dan pembuatan parser biner yang dapat diverifikasi, generator pesan, dan mesin status protokol.
  • 92
  • GNU Affero General Public License v3.0

steamsky

Cermin roguelike di langit dengan latar steampunk.
  • 88

OpenGLAda

Binding Ada tebal untuk OpenGL dan GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - kompiler Ada yang kecil dan cepat sepenuhnya di Ada.
  • 86

ada-awa

Ada Web Application - Framework untuk membangun aplikasi web yang aman dan berkinerja tinggi.
  • 85
  • Apache License 2.0

learn

Sumber untuk learn.adacore.com (oleh AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Ada kode sumber tutorial pengembangan OS Bare Bones.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild adalah sistem build lanjutan yang dirancang untuk membantu mengotomatiskan pembangunan sistem multi-bahasa..
  • 55
  • GNU General Public License v3.0

svd2ada

Generator pengikat Ada dari deskripsi SVD untuk perangkat ARM papan kosong..
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

Proyek ini berisi berbagai GNAT Ada Run Time Systems (RTS) yang ditargetkan pada papan Cortex: sejauh ini, Arduino Due, papan evaluasi seri STM32F4 dari STMicroelectronics, dan BBC micro:bit (v1).
  • 55
  • GNU General Public License v3.0 only

orka

Kernel Rendering OpenGL 4.6 di Ada 2012.
  • 50
  • Apache License 2.0

VSS

Pustaka pemrosesan string dan teks tingkat tinggi.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

Pengumpulan Komponen GNAT – Paket inti.
  • 44
  • GNU General Public License v3.0

adawebpack

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

dashera

DasherA adalah emulator terminal Data General DASHER D200/D210.
  • 35
  • MIT

json-ada

Pustaka Ada 2012 untuk mem-parsing JSON.
  • 35
  • Apache License 2.0