This is stars and forks stats for /AdaCore/spark2014 repository. As of 25 Apr, 2024 this repository has 216 stars and 34 forks.
1. Introduction This repository contains the source code for the SPARK project. SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured and where safety and security are key requirements. This repository provides visibility...
1. Introduction This repository contains the source code for the SPARK project. SPARK is a software development technology specifically designed for engineering high-reliability applications. It consists of a programming language, a verification toolset and a design method which, taken together, ensure that ultra-low defect software can be deployed in application domains where high-reliability must be assured and where safety and security are key requirements. This repository provides visibility...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| Yif1999/TA-Learning | ASP.NETShaderLabC# | 86 | 0 | 26 | 0 |
| creativetimofficial/soft-ui-dashboard-tall | BladePHPCSS | 21 | 0 | 112 | 0 |
| jellyfin/jellyfin-roku | BrightscriptBrighterScriptMakefile | 342 | 0 | 114 | 0 |
| LillieH001/YouTube-Reborn | CObjective-CLogos | 92 | 0 | 11 | 0 |
| CCob/Volumiser | C# | 275 | 0 | 30 | 0 |
| xunit/xunit | C#Other | 3.8k | 0 | 758 | 0 |
| alfarom256/CVE-2022-3699 | C++ | 163 | 0 | 42 | 0 |
| duilib/duilib | C++CCMake | 5.4k | 0 | 1.9k | 0 |
| githubuniverseworkshops/codeql | CodeQL | 85 | 0 | 28 | 0 |
| rinh/fekit | CoffeeScriptJavaScriptCSS | 233 | 0 | 109 | 0 |