Biblioteker skrevet i Ada
synth
Næste D/Ports byggeværktøj til live-systemer (Alternativ til Portmaster og Portupgrade-værktøjer) (af jrmarino).
- 244
- ISC
alire
Kommandolinjeværktøj fra Alire-projektet og understøttende bibliotek.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Ada kildekode og komplet prøve GNAT projekter for udvalgte bare-board platforme understøttet af GNAT..
- 216
- BSD 3-clause "New" or "Revised"
spark2014
SPARK 2014 er den nye version af SPARK, en softwareudviklingsteknologi, der er specielt designet til udvikling af højpålidelige applikationer.
- 208
- GNU General Public License v3.0 only
ada_language_server
Server implementerer Microsoft Language Protocol til Ada og SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
SPARK by Example er en tilpasning af ACSL by Example til SPARK 2014, et programmeringssprog, som er en formelt verificeret undergruppe af Ada.
- 146
aws
AWS er en komplet ramme til udvikling af webbaserede applikationer i Ada. (af AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 genimplementering af TweetNaCl-kryptobiblioteket.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
Formel specifikation og generering af verificerbare binære parsere, meddelelsesgeneratorer og protokoltilstandsmaskiner.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Framework til at bygge højtydende sikre webapplikationer.
- 85
- Apache License 2.0
gprbuild
GPRbuild er et avanceret byggesystem designet til at hjælpe med at automatisere konstruktionen af flersprogede systemer.
- 55
- GNU General Public License v3.0
svd2ada
En Ada-bindingsgenerator fra SVD-beskrivelser til bare board ARM-enheder..
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Dette projekt indeholder forskellige GNAT Ada Run Time Systems (RTS'er) rettet mod Cortex-kort: indtil videre Arduino Due, STM32F4-seriens evalueringstavler fra STMicroelectronics og BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only
