Nā hale waihona puke i kākau ʻia ma Ada
synth
A laila kūkulu ʻo D/Ports i nā mea hana no nā ʻōnaehana ola (Alternative for Portmaster and Portupgrade tools) (na jrmarino).
- 244
- ISC
alire
Mea hana laina kauoha mai ka papahana Alire a me ka waihona kākoʻo.
- 220
- GNU General Public License v3.0 only
Ada_Drivers_Library
Loaʻa ka code kumu a me ka hoʻopiha piha ʻana i nā papahana GNAT no nā papa papa i koho ʻia i kākoʻo ʻia e GNAT.
- 216
- BSD 3-clause "New" or "Revised"
spark2014
ʻO SPARK 2014 ka mana hou o SPARK, kahi ʻenehana hoʻomohala polokalamu i hoʻolālā ʻia no ka ʻenekinia i nā noi hilinaʻi kiʻekiʻe.
- 208
- GNU General Public License v3.0 only
ada_language_server
Ke hoʻokō nei ke kikowaena i ka Microsoft Language Protocol no Ada a me SPARK.
- 197
- GNU General Public License v3.0 only
spark-by-example
ʻO SPARK ma ka laʻana he hoʻololi ia o ACSL e ka laʻana no SPARK 2014, he ʻōlelo hoʻolālā i hōʻoia ʻia i ka ʻāpana o Ada.
- 146
aws
ʻO AWS kahi papa hana piha e hoʻomohala i nā noi pūnaewele ma Ada. (na AdaCore).
- 115
- GNU General Public License v3.0
SPARKNaCl
SPARK 2014 ka hoʻokō hou ʻana o ka waihona crypto TweetNaCl.
- 96
- BSD 3-clause "New" or "Revised"
RecordFlux
ʻO ka ʻōlelo kikoʻī a me ka hana ʻana o nā parser binary i hōʻoia ʻia, nā mea hana memo a me nā mīkini mokuʻāina protocol.
- 92
- GNU Affero General Public License v3.0
ada-awa
Ada Web Application - Framework e kūkulu i nā polokalamu pūnaewele palekana hana kiʻekiʻe.
- 85
- Apache License 2.0
gprbuild
ʻO GPRbuild kahi ʻōnaehana kūkulu kiʻekiʻe i hoʻolālā ʻia e kōkua i ke kūkulu ʻana i nā ʻōnaehana ʻōlelo lehulehu.
- 55
- GNU General Public License v3.0
svd2ada
ʻO kahi mea hana hoʻopaʻa paʻa ʻo Ada mai nā wehewehe SVD no nā ʻaoʻao ARM papa.
- 55
- GNU General Public License v3.0 only
cortex-gnat-rts
Aia i loko o kēia papahana nā ʻano GNAT Ada Run Time Systems (RTS) i hoʻopaʻa ʻia ma nā papa Cortex: a hiki i kēia manawa, ʻo ka Arduino Due, nā papa loiloi STM32F4-series mai STMicroelectronics, a me ka BBC micro:bit (v1).
- 55
- GNU General Public License v3.0 only