Ada로 작성된 라이브러리

septum

컨텍스트 기반 코드 검색 도구.
  • 355
  • Apache License 2.0

gnatstudio

GNAT Studio는 Ada 및 SPARK를 위한 강력하고 가벼운 IDE입니다.
  • 335

AdaDoom3

Ada 프로그래밍 언어로 된 Id Software의 Id-tech-4-BFG..
  • 246

synth

라이브 시스템용 다음 D/Ports 빌드 도구(Portmaster 및 Portupgrade 도구의 대안)(jrmarino 제공).
  • 244
  • ISC

alire

Alire 프로젝트 및 지원 라이브러리의 명령줄 도구.
  • 220
  • GNU General Public License v3.0 only

Ada_Drivers_Library

GNAT에서 지원하는 일부 베어보드 플랫폼용 Ada 소스 코드 및 전체 샘플 GNAT 프로젝트..
  • 216
  • BSD 3-clause "New" or "Revised"

spark2014

SPARK 2014는 고신뢰성 애플리케이션 엔지니어링을 위해 특별히 설계된 소프트웨어 개발 기술인 SPARK의 새 버전입니다.
  • 208
  • GNU General Public License v3.0 only

ada_language_server

Ada 및 SPARK용 Microsoft 언어 프로토콜을 구현하는 서버.
  • 197
  • GNU General Public License v3.0 only

gnat-llvm

LLVM 기반 GNAT 컴파일러.
  • 155

spark-by-example

SPARK by Example은 공식적으로 검증된 Ada의 하위 집합인 프로그래밍 언어인 SPARK 2014용 ACSL by Example을 채택한 것입니다.
  • 146

libadalang

Ada 의미 분석 라이브러리..
  • 132
  • GNU General Public License v3.0

aws

AWS는 Ada에서 웹 기반 애플리케이션을 개발하기 위한 완벽한 프레임워크입니다. (AdaCore 제공).
  • 115
  • GNU General Public License v3.0

sdlada

SDL 2에 대한 Ada 2012 바인딩.
  • 99
  • zlib

SPARKNaCl

TweetNaCl 암호화 라이브러리의 SPARK 2014 재구현.
  • 96
  • BSD 3-clause "New" or "Revised"

RecordFlux

검증 가능한 바이너리 파서, 메시지 생성기 및 프로토콜 상태 기계의 공식 사양 및 생성.
  • 92
  • GNU Affero General Public License v3.0

steamsky

steampunk 설정으로 하늘에서 로그 라이크의 거울.
  • 88

OpenGLAda

OpenGL 및 GLFW에 대한 두꺼운 Ada 바인딩.
  • 86
  • MIT

hac

HAC Ada 컴파일러 - Ada로 완전히 구현된 작고 빠른 Ada 컴파일러입니다.
  • 86

ada-awa

Ada 웹 애플리케이션 - 고성능 보안 웹 애플리케이션을 구축하기 위한 프레임워크입니다.
  • 85
  • Apache License 2.0

learn

learn.adacore.com의 출처(AdaCore 제공).
  • 79
  • Creative Commons Attribution 4.0

bare_bones

Ada Bare Bones OS 개발 튜토리얼 소스 코드.
  • 78
  • GNU General Public License v3.0

gprbuild

GPRbuild는 다국어 시스템 구축을 자동화하도록 설계된 고급 빌드 시스템입니다.
  • 55
  • GNU General Public License v3.0

svd2ada

베어 보드 ARM 장치에 대한 SVD 설명의 Ada 바인딩 생성기..
  • 55
  • GNU General Public License v3.0 only

cortex-gnat-rts

이 프로젝트에는 Cortex 보드(지금까지 Arduino Due, STMicroelectronics의 STM32F4 시리즈 평가 보드, BBC micro:bit(v1))를 대상으로 하는 다양한 GNAT Ada 런타임 시스템(RTS)이 포함되어 있습니다.
  • 55
  • GNU General Public License v3.0 only

orka

Ada 2012의 OpenGL 4.6 렌더링 커널.
  • 50
  • Apache License 2.0

VSS

높은 수준의 문자열 및 텍스트 처리 라이브러리.
  • 46
  • GNU General Public License v3.0

gnatcoll-core

GNAT 구성 요소 컬렉션 – 핵심 패키지.
  • 44
  • GNU General Public License v3.0

adawebpack

웹 API용 Ada WASM 런타임 및 바인딩.
  • 41
  • BSD 3-clause "New" or "Revised"

dashera

DasherA는 데이터 일반 ​​DASHER D200/D210 터미널 에뮬레이터입니다.
  • 35
  • MIT

json-ada

JSON 구문 분석을 위한 Ada 2012 라이브러리.
  • 35
  • Apache License 2.0