Linking pages
- GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language https://github.com/ohenley/awesome-ada 28 comments
- GitHub - mgaudet/CompilerJobs: A listing of compiler, language and runtime teams for people looking for jobs in this area https://github.com/mgaudet/CompilerJobs 10 comments
- RecordFlux: From Message Specifications to SPARK… | The AdaCore Blog https://blog.adacore.com/recordflux-from-message-specifications-to-spark-code 9 comments
- GitHub - dloss/binary-parsing: A list of generic tools for parsing binary data structures, such as file formats, network protocols or bitstreams https://github.com/dloss/binary-parsing 3 comments