Open Issues Need Help
View All on GitHub Runner: Prototype local GNAT compile diagnostics 4 months ago
help wanted runner
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
help wanted runner
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
Mission: Add a C interop wrapper mission 4 months ago
good first issue mission
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
good first issue mission
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
Alire: Create a packet_guard starter project 4 months ago
help wanted alire
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
UI: Add Ada syntax highlighting to the editor 4 months ago
good first issue ui
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
SPARK: Add a loop invariant mission 4 months ago
help wanted mission spark
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
help wanted mission ui
assafbar2/ada-quest assafbar2/ada-quest Interactive Ada and SPARK missions for learning systems safety through small bugs.
Open project →
0
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming