Blunk-electronic/ET
An ECAD design tool for complex schematics and layouts
GitHub repository with 11 stars and 3 forks.
Language: Ada
An ECAD design tool for complex schematics and layouts
GitHub repository with 11 stars and 3 forks.
Language: Ada
2026-06-05: 11 stars and 3 forks.
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GitHub repository with 311 stars and 44 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Ada
This repository contains course material published to the AdaCore University website
GitHub repository with 58 stars and 18 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Ada
LLVM based GNAT compiler
GitHub repository with 227 stars and 27 forks.
Trending score: 0.05.
Language: Ada
Source repository for the GNAT Bare Metal BSPs
GitHub repository with 70 stars and 63 forks.
Trending score: 0.05.
Language: Ada
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GitHub repository with 311 stars and 44 forks.
Trending score: 0.05; stars gained: +0; forks gained: +0.
Language: Ada
This repository contains course material published to the AdaCore University website
GitHub repository with 58 stars and 18 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Ada
LLVM based GNAT compiler
GitHub repository with 227 stars and 27 forks.
Trending score: 0.05.
Language: Ada
Source repository for the GNAT Bare Metal BSPs
GitHub repository with 70 stars and 63 forks.
Trending score: 0.05.
Language: Ada