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
Id Software's Id-tech-4-BFG in the Ada programming language.
Command-line tool from the Alire project and supporting libraryProject mention: MACbook M1 - alr, gnat development troubles | /r/ada | 2023-05-06
Join the club! And see this issue.
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 is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of AdaProject mention: Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm | news.ycombinator.com | 2022-11-18
Ada 2012 bindings to SDL 2
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.
Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
Thick Ada binding for OpenGL and GLFWProject mention: OpenGLAda is unmaintained | /r/ada | 2022-09-08
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.
Ada Web Application - Framework to build high performance secure web applications
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.
Mirror of roguelike in sky with a steampunk settingProject mention: Sharing Saturday #446 | /r/roguelikedev | 2022-12-23
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.
HAC Ada Compiler - a small, quick Ada compiler fully in AdaProject mention: PTC ObjectAda 10.4 is now available | /r/ada | 2022-07-09
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)Project mention: Writing Startup Code for STM32 in Completely Ada | /r/ada | 2022-12-12
Also, u/simonjwright 's cortex-gnat-rts was most helpful.
The OpenGL 4.6 Rendering Kernel in Ada 2012Project mention: Does This Language Exist? | /r/ProgrammingLanguages | 2023-05-22
Ada WASM Runtime and Bindings for Web APIProject mention: AdaWebPack 22.1 release | /r/ada | 2022-11-26
We have released AdaWebPack 22.1.0.
An Ada 2012 library for parsing JSONProject mention: February 2023 What Are You Working On? | /r/ada | 2023-02-01
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.
DasherA is a Data General DASHER D200/D210 terminal emulator
experimental YAML 1.3 implementation in AdaProject 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.
SHA-3 and other Keccak related algorithms in SPARK/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 allows monitoring power consumption of multiple platforms and processes. (by joular)Project mention: February 2023 What Are You Working On? | /r/ada | 2023-02-01
I'll be preparing to release a new version of my power software: PowerJoular.
Tooling for analysis and manipulation of Ada software
[deprecated] Retro ascii puzzles & games. Please use "SliderPuzzles" or "RetroArcade" instead.
Ada examples for the Raspberry Pi Pico
The Google Protocol Buffers implementation in Ada (by reznikmm)
Ada drivers for the Raspberry Pi RP2040 SoCProject mention: Ada targeting RPI | /r/ada | 2023-04-11
You can go bare metal for the raspberry pico. Maybe it's also interesting to you: https://pico-doc.synack.me/
Ada binding to the SFML library
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 - 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?
3 projects | /r/ada | 2 Jun 2023
New project: Alice
2 projects | /r/ada | 16 May 2023
MACbook M1 - alr, gnat development troubles
1 project | /r/ada | 6 May 2023
Ada targeting RPI
1 project | /r/ada | 11 Apr 2023
Themeable 2048 game for the desktop
1 project | /r/playmygame | 4 Apr 2023
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?
2 projects | /r/ada | 27 Mar 2023
New release of vscode extension For Ada 23.0.15
2 projects | /r/ada | 22 Mar 2023
A note from our sponsor - SonarLint
www.sonarlint.org | 3 Jun 2023
What are some of the best open-source Ada projects in Ada? This list will help you: