Discover trending Ada
open-source projects

192
180
432
Our great sponsors
  • Scout APM - Truly a developer’s best friend
  • SonarQube - Static code analysis for 29 languages.
  • InfluxDB - Build time-series-based applications quickly and at scale.
  • Zigi - Close all those tabs. Zigi will handle your updates.
Mentions
@
Stars Project Description
2 200 Ada source code and complete sample GNAT projects for selected bare-board platforms supported by GNAT.
2 143 SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
2 14 Ada drivers for the Raspberry Pi RP2040 SoC
2 1 A package for handling Base64 strings.
1 287 GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
1 179 SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
1 171 Server implementing the Microsoft Language Protocol for Ada and SPARK
1 35 Ada WASM Runtime and Bindings for Web API
1 27 An OpenSource Boundary Scan Test System (JTAG / IEEE1149.x)
1 17 The AURA Reference Implementation
1 11 godot nativescript bindings in ada
1 10 Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.
1 3 Port of Rob Pike's simple regex from the Practice of Programming
1 1 A Music Player
1 1 Synth library inspired by Mutable Instruments braids
1 0 A command-line note taking app built with Ada!
1 0 An unofficial installer for Alire

Popular Ada Topics

Latest Mentions

Latest mentioned Ada repos
Stars Project
35 adawebpack
11 gdnative_ada
17 AURA
14 rp2040_hal
0 getada
143 spark-by-example
200 Ada_Drivers_Library
287 gnatstudio
1 Base_64
27 M-1
179 spark2014
3 simple_regex
171 ada_language_server
10 Honki-Tonks-Zivilisationen
1 tresses
1 MP
0 jot
21 PragmARC
14 zip-ada
3 AGATE