matthias-brun / verified-nrkernelView external linksLinks
☆22Feb 6, 2026Updated last week
Alternatives and similar repositories for verified-nrkernel
Users that are interested in verified-nrkernel are comparing it to the libraries listed below
Sorting:
- Course website for Systems Verification Fall 2024☆14Jul 10, 2025Updated 7 months ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated 9 months ago
- Toy QUIC implementation in Zig☆13Sep 4, 2024Updated last year
- lapisla is a *battery-pluggable* theorem prover and ecosystem designed for everyone. Greetings! 👋☆55Dec 15, 2025Updated last month
- 🍬 tiny OCaml compiler and PSan targeting to WebAssembly☆10Aug 15, 2024Updated last year
- VeriBetrKV OSDI'20 artifact☆13Sep 5, 2020Updated 5 years ago
- A community preview of ongoing formal verification efforts for Asterinas☆42Feb 5, 2026Updated last week
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated last year
- An experimental framework for temporal verification based on first-order linear-time temporal logic. Our goal is to express transition sy…☆21Jan 26, 2026Updated 2 weeks ago
- ☆70Sep 4, 2025Updated 5 months ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Jun 21, 2025Updated 7 months ago
- An automated deductive program verifier based on concurrent separation logic☆27Jan 29, 2026Updated 2 weeks ago
- 🎨 Simple themes for rofi (window switcher / launcher)☆16Jul 5, 2021Updated 4 years ago
- Verifying concurrent storage and distributed systems☆216Updated this week
- pure B+Tree that mimics the implementation of std::BTreeMap☆20Apr 18, 2021Updated 4 years ago
- Storage systems with verified correctness properties☆59Feb 6, 2026Updated last week
- A bibliography framework for SATySFi.☆23Jan 6, 2023Updated 3 years ago
- ☆30Mar 4, 2024Updated last year
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆33Feb 7, 2026Updated last week
- Verified Wasm runtime☆30Oct 30, 2023Updated 2 years ago
- A simple generic in-memory caching layer☆27May 21, 2025Updated 8 months ago
- CN separation logic refinement type system for C☆44Feb 3, 2026Updated last week
- Anvil is an experimental framework to build practical, formally verified, cluster management controllers.☆148Updated this week
- Formalization of C++ for verification purposes.☆90Updated this week
- 🐦⬛ A bracket-based lightweight markup language that extends commands with WebAssembly☆73Nov 20, 2025Updated 2 months ago
- Simple malloc implementation.☆33Feb 19, 2025Updated 11 months ago
- Vim syntax plugin for SATySFi typesetting system☆33Sep 17, 2021Updated 4 years ago
- Verifying the SCION architecture using Gobra☆11Jan 25, 2026Updated 2 weeks ago
- CS6868: Concurrent Programming☆29Updated this week
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆43Oct 16, 2024Updated last year
- A CLI tool that securely retrieves secrets from Google Cloud or AWS using IAM permissions and stores them as environment variables in env…☆11May 9, 2025Updated 9 months ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆11Sep 30, 2024Updated last year
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 10 months ago
- Wallpapers with the Nord color scheme.☆12Oct 15, 2021Updated 4 years ago
- The MSR Ironclad project builds provably secure and reliable systems.☆264Jun 3, 2023Updated 2 years ago
- A CGI module for Julia☆10Jul 9, 2014Updated 11 years ago
- A fork of criterion.rs to keep things updated.☆18Jan 25, 2026Updated 2 weeks ago