Bibliotek skrivna i Ada

septum

  • 355
  • Apache License 2.0

gnatstudio

  • 335

AdaDoom3

  • 246

synth

  • 244
  • ISC

alire

  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

  • 208
  • GNU General Public License v3.0 only

ada_language_server

  • 197
  • GNU General Public License v3.0 only

gnat-llvm

  • 155

spark-by-example

SPARK by Example är en anpassning av ACSL by Example för SPARK 2014, ett programmeringsspråk som är en formellt verifierad delmängd av Ada.
  • 146

libadalang

  • 132
  • GNU General Public License v3.0

aws

  • 115
  • GNU General Public License v3.0

sdlada

  • 99
  • zlib

SPARKNaCl

  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

Formell specifikation och generering av verifierbara binära parsers, meddelandegeneratorer och protokolltillståndsmaskiner.
  • 92
  • GNU Affero General Public License v3.0

steamsky

  • 88

OpenGLAda

  • 86
  • MIT

hac

  • 86

ada-awa

  • 85
  • Apache License 2.0

learn

  • 79
  • Creative Commons Attribution 4.0

bare_bones

  • 78
  • GNU General Public License v3.0

gprbuild

  • 55
  • GNU General Public License v3.0

svd2ada

  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

  • 55
  • GNU General Public License v3.0 only

orka

  • 50
  • Apache License 2.0

VSS

  • 46
  • GNU General Public License v3.0

gnatcoll-core

  • 44
  • GNU General Public License v3.0

adawebpack

  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA är en Data General DASHER D200/D210 terminalemulator.
  • 35
  • MIT

json-ada

  • 35
  • Apache License 2.0