issues
search
AdaCore
/
Ada-SPARK-Crate-Of-The-Year
19
stars
2
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
[2022][ashell] A library allowing Ada applications to start and interact with OS programs.
#23
charlie5
closed
1 year ago
0
[2022][sdlada] Ada 2012 (variable depth) bindings to SDL 2.x for game (and application) development.
#22
Lucretia
closed
1 year ago
0
[2022][libsimpleio] Linux Simple I/O Library
#21
pmunts
closed
1 year ago
0
[2022][Honki_Tonks_Zivilisationen] 4X turn-based strategy game
#20
HonkiTonk
closed
1 year ago
0
[2022][AVR-Ada] Compiler Environment for Building Ada Programs on AVR Microcontrollers
#19
RREE
closed
1 year ago
0
[2022][powerjoular] Multi-platform monitoring of the power consumption of hardware and software
#18
adelnoureddine
closed
1 year ago
0
[2022][libkeccak] A crypto library for SHA-3 and related algorithms
#17
damaki
closed
1 year ago
0
[2022][vaton] Formally verified ASCII to number conversion written in Ada/SPARK
#16
mhatzl
closed
1 year ago
2
[2022][rejuvenation] Analysis and manipulation of Ada code based on concrete patterns
#15
pjljvandelaar
closed
1 year ago
0
Update terms_and_conditions.md
#14
Fabien-Chouteau
closed
2 years ago
0
[2021] Submissions are closed
#13
Fabien-Chouteau
closed
2 years ago
0
[2021][sdlada] Ada 2012 SDL 2.x bindings.
#12
Lucretia
closed
2 years ago
1
[2021][lace_gel] Game Engine Library
#11
charlie5
closed
2 years ago
1
[2021][Cobot_Ada] Collaborative robot intended for interaction with humans in a shared space
#10
guillengap
closed
2 years ago
7
[2021][Eye Speed Tester] <An simple reaction time test>
#9
A-Bey
closed
2 years ago
1
[2021][spark_unbound] Unbound data structures in Ada-Spark
#8
mhatzl
closed
2 years ago
0
[2021][septum] Search Tool for Large Codebases
#7
pyjarrett
closed
2 years ago
0
[2021][remoteio] Remote I/O Protocol Support
#6
pmunts
closed
2 years ago
1
[2021][mcp2221] MCP2221 USB raw HID I/O Expander Support
#5
pmunts
closed
2 years ago
0
[2021][libsimpleio] Ada Bindings for the Linux Simple I/O Library
#4
pmunts
closed
2 years ago
0
[2021][rp2040_hal] Ada drivers for the Raspberry Pi RP2040 microcontroller
#3
JeremyGrosser
closed
2 years ago
0
[2021][Adabots] Ada-programmable robots in minecraft
#2
TamaMcGlinn
closed
2 years ago
1
[2021][geste] Example of submission
#1
Fabien-Chouteau
closed
2 years ago
0