seL4/l4v

seL4 specification and proofs

IsabelleStandard MLHaskellCTeXPythonOtherproofisabelleformalisationsel4-proofssel4-microkernel
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...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
JuliaPackaging/YggdrasilFortranJuliaShell262+2455+1
datawhalechina/easy-rlJupyter NotebookPython7.1k01.6k0
AkashSingh3031/The-Complete-FAANG-PreparationJupyter NotebookHTMLC++9.5k02.2k0
jaakkopasanen/AutoEqPythonJavaScriptJupyter Notebook11.6k02.5k0
huseinzol05/Stock-Prediction-ModelsJupyter NotebookJavaScriptOther6.8k02.5k0
orpatashnik/StyleCLIPHTMLJupyter NotebookPython3.7k05310
AI4Finance-Foundation/FinRLJupyter NotebookPython8.2k02.1k0
MorvanZhou/PyTorch-TutorialJupyter NotebookPython7.7k03.1k0
nicknochnack/RealTimeObjectDetectionJupyter NotebookPython29704710
CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-HackersJupyter NotebookOther25.9k+97.8k-1