Nā hale waihona puke i kākau ʻia ma Ada

septum

Mea paahana huli code e pili ana i ka ʻatikala.
  • 355
  • Apache License 2.0

gnatstudio

ʻO GNAT Studio kahi IDE ikaika a māmā no Ada a me SPARK.
  • 335

AdaDoom3

ʻO ka Id-tech-4-BFG o Id Software ma ka ʻōlelo papahana Ada.
  • 246

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

gnat-llvm

LLVM hoʻokumu GNAT compiler.
  • 155

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

libadalang

Aia ka hale waihona puke semantic analysis..
  • 132
  • GNU General Public License v3.0

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

sdlada

Ua hoʻopaʻa ʻia ʻo Ada 2012 iā SDL 2.
  • 99
  • zlib

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

steamsky

ʻO ke aniani o ka roguelike i ka lani me kahi hoʻonohonoho steampunk.
  • 88

OpenGLAda

Hoʻopaʻa ʻia ʻo Ada mānoanoa no OpenGL a me GLFW.
  • 86
  • MIT

hac

HAC Ada Compiler - he liʻiliʻi, wikiwiki ʻo Ada compiler piha i Ada.
  • 86

ada-awa

Ada Web Application - Framework e kūkulu i nā polokalamu pūnaewele palekana hana kiʻekiʻe.
  • 85
  • Apache License 2.0

learn

Nā kumu no learn.adacore.com (na AdaCore).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Ada Bare Bones OS hoʻomohala kumu kumu kumu kumu.
  • 78
  • GNU General Public License v3.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

orka

ʻO ka OpenGL 4.6 Rendering Kernel ma Ada 2012.
  • 50
  • Apache License 2.0

VSS

ʻO ke kaula kiʻekiʻe a me ka waihona hana kikokikona.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

ʻO GNAT Components Collection - Nā pūʻolo kumu.
  • 44
  • GNU General Public License v3.0

adawebpack

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

dashera

ʻO DasherA kahi emulator terminal DASHER D200/D210.
  • 35
  • MIT

json-ada

He hale waihona puke ʻo Ada 2012 no ka hoʻopau ʻana iā JSON.
  • 35
  • Apache License 2.0