Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today. Learn more →
Top 23 Ada Ada Projects
-
-
Join the club! And see this issue.
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
-
spark-by-example
SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
Project mention: Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm | news.ycombinator.com | 2022-11-18 -
https://github.com/Lucretia/sdlada - You can create a texture and get access to the pixels at least. https://github.com/Fabien-Chouteau/tiled-code-gen - not looked at this.
-
RecordFlux
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
-
With a heavy heart, I decided to stop maintaining OpenGLAda. I maintained this library for ten years without using it for anything, and finally motivation ran out.
-
-
SonarLint
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
-
And standard weekly report. In the stable version, a real standard. No new bugs found this week, still one which I can't reproduce awaits for help.
-
-
cortex-gnat-rts
This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
Also, u/simonjwright 's cortex-gnat-rts was most helpful.
-
-
We have released AdaWebPack 22.1.0.
-
Due to mainly lack of time with my research and students, I'd love if someone can help me in replacing GNATColl's JSON with another library (typically json-ada or any other light/nodependency json parser). See the issue on github if anyone interested.
-
-
Project mention: How good is Ada for implementing a library to be consumed by C/C++ programs? | /r/ada | 2022-09-08
Once upon a time, I have built AdaYaml, which can be compiled to be used as drop-in for the libyaml C library, see this GPR project and the corresponding sources. This shows that you can implement an existing C API with Ada.
-
Project mention: How do I import the GCC intrinsic __builtin_ia32_paddd256 into Ada? | /r/ada | 2022-12-19
This file has an AVX2 binding for 64x4 vector operations that you could adapt: https://github.com/damaki/libkeccak/blob/master/src/x86_64/AVX2_defs/keccak-arch-avx2.ads
-
powerjoular
PowerJoular allows monitoring power consumption of multiple platforms and processes. (by joular)
I'll be preparing to release a new version of my power software: PowerJoular.
-
-
CoTerminalApps
[deprecated] Retro ascii puzzles & games. Please use "SliderPuzzles" or "RetroArcade" instead.
-
-
-
You can go bare metal for the raspberry pico. Maybe it's also interesting to you: https://pico-doc.synack.me/
-
Unfortunately, Ada is not used for professional game development, but it will probably help a single developer to develop a bug-free game more than C++. For a 2D game, one good option as toolkit is the binding to SFML.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
The latest post mention was on 2023-05-22.
Ada Ada related posts
- June 2023 What Are You Working On?
- New project: Alice
- MACbook M1 - alr, gnat development troubles
- Ada targeting RPI
- Themeable 2048 game for the desktop
- Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?
- New release of vscode extension For Ada 23.0.15
-
A note from our sponsor - SonarLint
www.sonarlint.org | 3 Jun 2023
Index
What are some of the best open-source Ada projects in Ada? This list will help you:
| Project | Stars | |
|---|---|---|
| 1 | AdaDoom3 | 244 |
| 2 | alire | 209 |
| 3 | spark-by-example | 145 |
| 4 | sdlada | 97 |
| 5 | RecordFlux | 91 |
| 6 | OpenGLAda | 85 |
| 7 | ada-awa | 85 |
| 8 | steamsky | 84 |
| 9 | hac | 79 |
| 10 | cortex-gnat-rts | 55 |
| 11 | orka | 50 |
| 12 | adawebpack | 40 |
| 13 | json-ada | 35 |
| 14 | dashera | 34 |
| 15 | AdaYaml | 31 |
| 16 | libkeccak | 30 |
| 17 | powerjoular | 26 |
| 18 | Renaissance-Ada | 26 |
| 19 | CoTerminalApps | 25 |
| 20 | pico_examples | 24 |
| 21 | protobuf | 23 |
| 22 | rp2040_hal | 23 |
| 23 | ASFML | 21 |
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com