192
180
432
Our great sponsors
|
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 |
Latest Discoveries
Latest discovered Ada repos
| Stars | Project |
|---|---|
| 11 | gdnative_ada |
| 0 | getada |
| 0 | jot |
| 1 | Base_64 |
| 27 | M-1 |
| 3 | simple_regex |
| 1 | tresses |
| 1 | MP |
| 3 | AGATE |
| 0 | coolgame1 |
| 9 | analytical-engine |
| 2 | bare_runtime |
| 1 | learnesp32 |
| 2 | esp32c3-ada |
| 23 | Ada_Kernel_Module_Framework |
| 2 | libgmp-ada2022 |
| 2 | j2ada |
| 7 | pascal-to-ada |
| 13 | adavulkan |
| 2 | VulkanAda |
Recently updated posts
- Ada development tools: clarifying the pros and cons of the different options
- GetAda: an unofficial installer for alire
- Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm
- NVIDIA Security Team: "What if we just stopped using C?" (This is not about Rust)
- November 2022 What Are You Working On?