Biblioteker skrevet i Ada

Ada_GUI

En Ada-orienteret GUI.
  • 31
  • BSD 3-clause "New" or "Revised"

AdaYaml

eksperimentel YAML 1.3 implementering i Ada.
  • 31
  • MIT

M-1

Et OpenSource Boundary Scan Test System (JTAG / IEEE1149.x).
  • 30
  • GNU General Public License v3.0 only

libkeccak

SHA-3 og andre Keccak-relaterede algoritmer i SPARK/Ada..
  • 30
  • BSD 3-clause "New" or "Revised"

gnatcoverage

GNATcoverage: Dækningsanalyseværktøj.
  • 28

powerjoular

PowerJoular gør det muligt at overvåge strømforbruget på flere platforme og processer. (med joular).
  • 28
  • GNU General Public License v3.0 only

libsparkcrypto

Et kryptografisk bibliotek i SPARK 2014.
  • 27

rp2040_hal

Ada-drivere til Raspberry Pi RP2040 SoC.
  • 26
  • BSD 3-clause "New" or "Revised"

Renaissance-Ada

Værktøj til analyse og manipulation af Ada software.
  • 26
  • BSD 3-clause "New" or "Revised"

CoTerminalApps

[forældet] disse ascii-puslespil og spil er blevet opdelt i a) "SliderPuzzles" & b) "RetroArcade"..
  • 25
  • GNU General Public License v3.0 only

pico_examples

Ada eksempler til Raspberry Pi Pico.
  • 25

ada-toml

TOML-parser til Ada.
  • 24
  • GNU General Public License v3.0

PragmARC

PragmAda-genanvendelige komponenter.
  • 24

Ada-Lisp

Lille Lisp Tolk Skrevet i Ada.
  • 24
  • GNU General Public License v3.0 only

protobuf

Implementeringen af ​​Google Protocol Buffers i Ada (af reznikmm).
  • 23
  • MIT

ASFML

Ada-binding til SFML-biblioteket.
  • 21
  • GNU General Public License v3.0

xmlada

XML/Ada-værktøjssættet..
  • 21
  • GNU General Public License v3.0

PolyORB

PolyORB leverer en ensartet løsning til at bygge distribuerede applikationer, der enten er afhængige af middleware-standarder.
  • 20
  • GNU General Public License v3.0

lea

LEA er en letvægtseditor for Ada.
  • 20

usb_embedded

En Ada USB-stak til indlejrede enheder.
  • 19
  • BSD 3-clause "New" or "Revised"

zip-ada

Zip-Ada: et selvstændigt, bærbart Ada-bibliotek til.zip-arkiver. Inkluderer LZMA byte stream encoder & decoder par..
  • 19

AURA

AURA-referenceimplementeringen (ved anneks-strayline).
  • 18
  • BSD 3-clause "New" or "Revised"

gwindows

GWindows: GUI-ramme til MS Windows.
  • 17

Honki-Tonks-Zivilisationen

Der kode med 4X-Rundenstrategiespiels. Koden for mit 4X turbaserede strategispil..
  • 17
  • GNU General Public License v3.0 only

esp32-gnat-rts

Dette projekt indeholder forskellige GNAT Ada Run Time Systems (RTS) rettet mod Cortex-kort: indtil videre Arduino Due, STM32F4-seriens evalueringstavler fra STMicroelectronics og BBC micro:bit.
  • 16
  • GNU General Public License v3.0 only

embedded-dashboard-console

Implementering af en indlejret dashboard-konsol, der tilbyder statusvisninger ved hjælp af LED'er, 5x7 matrix og OLED.
  • 15
  • BSD 3-clause "New" or "Revised"

win32ada

Ada API til Windows-biblioteket.
  • 15

qoi-spark

"Ganske OK billede" Ada implementering.
  • 14
  • MIT

aida_2012

  • 14

globe-3d

GLOBE_3D: en 3D-motor i realtid skrevet i Ada.
  • 14