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
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 |