"Ada" 태그별 라이브러리
awesome-ada
Ada 및 SPARK 프로그래밍 언어와 관련된 멋진 리소스의 선별된 목록입니다.
- 504
- /DEVs
- Creative Commons Zero v1.0 Universal
spark-by-example
SPARK by Example은 공식적으로 검증된 Ada의 하위 집합인 프로그래밍 언어인 SPARK 2014용 ACSL by Example을 채택한 것입니다.
- 146
- Ada
cardano-ledger-specs
Cardano 블록체인의 원장 구현 및 사양. [이동 위치: https://github.com/input-output-hk/cardano-ledger].
- 119
- Haskell
- Apache License 2.0
RecordFlux
검증 가능한 바이너리 파서, 메시지 생성기 및 프로토콜 상태 기계의 공식 사양 및 생성.
- 92
- Ada
- GNU Affero General Public License v3.0
cortex-gnat-rts
이 프로젝트에는 Cortex 보드(지금까지 Arduino Due, STMicroelectronics의 STM32F4 시리즈 평가 보드, BBC micro:bit(v1))를 대상으로 하는 다양한 GNAT Ada 런타임 시스템(RTS)이 포함되어 있습니다.
- 55
- Ada
- GNU General Public License v3.0 only
cardano_wallet_sdk
Flutter 앱을 대상으로 하는 Cardano Wallet SDK는 암호화폐 계정을 관리하고 블록체인에서 트랜잭션을 실행하기 위한 고급 Dart 라이브러리입니다.
- 37
- Dart
- Apache License 2.0
powerjoular
PowerJoular는 여러 플랫폼 및 프로세스의 전력 소비를 모니터링할 수 있습니다. (줄라에 의해).
- 28
- Ada
- GNU General Public License v3.0 only
CoTerminalApps
[더 이상 사용되지 않음] 이 ASCII 퍼즐 및 게임은 a) "SliderPuzzles" 및 b) "RetroArcade"로 분할되었습니다..
- 25
- Ada
- GNU General Public License v3.0 only