Open Issues Need Help
View All on GitHub Runner: Prototype local GNAT compile diagnostics about 3 hours ago
help wanted runner
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
Runner: Design safe hosted execution for untrusted Ada code about 3 hours ago
help wanted runner
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 about 3 hours ago
good first issue mission
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 range subtype mission for sensor input about 3 hours ago
good first issue mission
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 about 3 hours ago
help wanted alire
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 about 3 hours ago
good first issue ui
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 about 3 hours ago
help wanted mission spark
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming
Mission system: Move mission data from game.js into JSON about 3 hours ago
help wanted mission ui
Interactive Ada and SPARK missions for learning systems safety through small bugs.
JavaScript
#ada#alire#compiler#education#embedded#formal-methods#spark#systems-programming