Ada로 작성된 라이브러리
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
spark-by-example
SPARK by Example은 공식적으로 검증된 Ada의 하위 집합인 프로그래밍 언어인 SPARK 2014용 ACSL by Example을 채택한 것입니다.
- 146
RecordFlux
검증 가능한 바이너리 파서, 메시지 생성기 및 프로토콜 상태 기계의 공식 사양 및 생성.
- 92
- GNU Affero General Public License v3.0
cortex-gnat-rts
이 프로젝트에는 Cortex 보드(지금까지 Arduino Due, STMicroelectronics의 STM32F4 시리즈 평가 보드, BBC micro:bit(v1))를 대상으로 하는 다양한 GNAT Ada 런타임 시스템(RTS)이 포함되어 있습니다.
- 55
- GNU General Public License v3.0 only