basalt
sdlada
basalt | sdlada | |
---|---|---|
1 | 7 | |
9 | 1 | |
- | - | |
0.0 | 9.0 | |
over 1 year ago | 10 days ago | |
Ada | Ada | |
GNU Affero General Public License v3.0 | zlib License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
basalt
-
SPARK Guide
As a real world example you can take a look at the Image_Ranged and Image_Modular functions defined in basalt-strings_generic.ads and basalt-strings_generic.adb. The goal property for these functions is (apart from the absence of runtime errors) that they always return a string that starts at the index 1 and that has a specific maximum length, depending on the base given.
sdlada
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
SDLAda has been around for a while: https://github.com/Lucretia/sdlada
You can add it as a dependency to your Alire project: `alr with sdlada`
-
ADA for reliable 2D game
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.
-
Is it worth it to learn Ada in 2022? And how do I learn it?
COUGH, it's not just for military and aerospace or embedded.
-
Ada for Industrial Automation
You can see an example of how I did hand written bindings to sdl2.
- Ada Library vs Project
-
AdaCore and Ferrous Systems Joining Forces to Support Rust
You can use any version of gnat to build [this](https://github.com/Lucretia/sdlada)
- Ada For Game Development
What are some alternatives?
AdaDoom3 - Id Software's Id-tech-4-BFG in the Ada programming language.
OpenGLAda - Thick Ada binding for OpenGL and GLFW
libsparkcrypto - A cryptographic library in SPARK 2014
ASFML - Ada binding to the SFML library
RecordFlux - Formal specification and generation of verifiable binary parsers, message generators and protocol state machines
rubble - (going to be a) BLE stack for embedded Rust
qoi-spark - “Quite OK Image” Ada implementation
programming-with-ada - A guide for learning about the Ada Programming Language.
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
misra-rust - An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.
bbqueue-spark - An Ada implementation of James Munns' BBQueue
lea - LEA is a Lightweight Editor for Ada