An open API service indexing awesome lists of open source software.
Awesome Lists | Featured Topics | Projects
A curated list of projects in awesome lists tagged with gnatprove .
A small subset of Ada targeting embedded systems.
ada compiler embedded gnat gnatprove llvm parser rust
Last synced: 19 Oct 2024
