Ada/SPARK
Modern programming language designed for large, long-lived apps where reliability and efficiency are essential.
Your guide
AI-written overviewOn another site. From the list: sindresorhus/awesome · License: CC0-1.0 · Programming Languages
How to learn from a GitHub project or list
Your path through More languages
Stop 63
Writing a MiniTest Framework
Build project
Stop 64
3D Physics Engine Tutorial
Build project
Stop 65
Ada/SPARK
Resource list
Stop 66
Chess Engine In C
Build project
Stop 67
ClojureScript
Resource list
Stop 68
Common Lisp
Resource list
Stop 69
Coq
Resource list
Explore next
More languages
Advanced astronaut
Difficulty
5/5
Resource list
More languages
Advanced astronaut
Q#
Difficulty
5/5
Resource list
More languages
Advanced astronaut
Scientific Audio
Difficulty
5/5
Resource list
More languages
Advanced astronaut
Coq
Difficulty
5/5
Resource list