This is stars and forks stats for /seL4/l4v repository. As of 20 Apr, 2024 this repository has 470 stars and 100 forks.
MCS: The L4.verified Proofs This is the L4.verified git repository with formal specifications and proofs for the seL4 microkernel. Most proofs in this repository are conducted in the interactive proof assistant Isabelle/HOL. For an introduction to Isabelle, see its official website and documentation. Setup This repository is meant to be used as part of a Google repo setup. Instead of cloning it directly, please follow the directions for software dependencies and Isabelle installation in the setup.md...
MCS: The L4.verified Proofs This is the L4.verified git repository with formal specifications and proofs for the seL4 microkernel. Most proofs in this repository are conducted in the interactive proof assistant Isabelle/HOL. For an introduction to Isabelle, see its official website and documentation. Setup This repository is meant to be used as part of a Google repo setup. Instead of cloning it directly, please follow the directions for software dependencies and Isabelle installation in the setup.md...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
JuliaPackaging/Yggdrasil | FortranJuliaShell | 262 | +2 | 455 | +1 |
datawhalechina/easy-rl | Jupyter NotebookPython | 7.1k | 0 | 1.6k | 0 |
AkashSingh3031/The-Complete-FAANG-Preparation | Jupyter NotebookHTMLC++ | 9.5k | 0 | 2.2k | 0 |
jaakkopasanen/AutoEq | PythonJavaScriptJupyter Notebook | 11.6k | 0 | 2.5k | 0 |
huseinzol05/Stock-Prediction-Models | Jupyter NotebookJavaScriptOther | 6.8k | 0 | 2.5k | 0 |
orpatashnik/StyleCLIP | HTMLJupyter NotebookPython | 3.7k | 0 | 531 | 0 |
AI4Finance-Foundation/FinRL | Jupyter NotebookPython | 8.2k | 0 | 2.1k | 0 |
MorvanZhou/PyTorch-Tutorial | Jupyter NotebookPython | 7.7k | 0 | 3.1k | 0 |
nicknochnack/RealTimeObjectDetection | Jupyter NotebookPython | 297 | 0 | 471 | 0 |
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers | Jupyter NotebookOther | 25.9k | +9 | 7.8k | -1 |