seL4/verification-manifest external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

seL4/verification-manifest

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/seL4/verification-manifest)

Close

seL4 / verification-manifestView on GitHubMore

• External links
• Readme badge

Manifests for the collection of verification repositories

☆16Feb 27, 2026Updated last week

Alternatives and similar repositories for verification-manifest

Users that are interested in verification-manifest are comparing it to the libraries listed below

• seL4 / sel4test-manifest

  View on GitHub
  Project to build and test seL4 for many different platforms
  ☆17Updated this week
• AmbiML / sparrow-kernel

  View on GitHub
  The seL4 microkernel
  ☆26Sep 6, 2023Updated 2 years ago
• afaerber / linux

  View on GitHub
  Linux kernel
  ☆23Mar 28, 2021Updated 4 years ago
• seL4 / camkes

  View on GitHub
  Component Architecture test suite and example apps.
  ☆34Aug 15, 2025Updated 6 months ago
• seL4 / capdl

  View on GitHub
  Capability Distribution Language tools for seL4
  ☆38Nov 25, 2025Updated 3 months ago
• cirosantilli / buildroot

  View on GitHub
  Branches contain some experiments. lkmc-* branches are for: https://github.com/cirosantilli/linux-kernel-module-cheat
  ☆12Mar 13, 2022Updated 3 years ago
• LumaKernel / coqpit.vim

  View on GitHub
  Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.
  ☆10Nov 1, 2022Updated 3 years ago
• JayFoxRox / futurama-tools

  View on GitHub
  Tools to analyze files of the video-game "Futurama" (2003)
  ☆13Jul 24, 2019Updated 6 years ago
• seL4 / sel4runtime

  View on GitHub
  A minimal runtime for seL4 applications.
  ☆14Mar 17, 2025Updated 11 months ago
• ytoyoyama / interface_trykernel_2

  View on GitHub
  Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム
  ☆11Sep 30, 2024Updated last year
• osafune / max10-protoboard

  View on GitHub
  ☆11Dec 19, 2016Updated 9 years ago
• squidscode / apli

  View on GitHub
  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
• hcrypt-project / yao

  View on GitHub
  Yao's Garbled Circuits (Java/AES)
  ☆10Dec 9, 2013Updated 12 years ago
• didiyun / dawnbench-ifx

  View on GitHub
  ☆11Sep 17, 2020Updated 5 years ago
• nikoonia / gem5v

  View on GitHub
  A Modified gem5 for Simulating Virtualized Systems
  ☆11Mar 1, 2015Updated 11 years ago
• seL4 / l4v

  View on GitHub
  seL4 specification and proofs
  ☆595Feb 27, 2026Updated last week
• seL4 / seL4_tools

  View on GitHub
  Basic tools for building seL4 projects
  ☆53Updated this week
• The-OpenROAD-Project / OpenROAD-Cloud

  View on GitHub
  The source code that empowers OpenROAD Cloud
  ☆12Jun 29, 2020Updated 5 years ago
• kory33 / s2mc-test

  View on GitHub
  Scala-to-Minecraft testing framework.
  ☆16Updated this week
• pebble-dev / rebble-boot

  View on GitHub
  boot.rebble.io
  ☆10Dec 12, 2025Updated 2 months ago
• 5pi-home / openwrt

  View on GitHub
  My OpenWrt base core router setup
  ☆11Feb 3, 2021Updated 5 years ago
• rottytooth / Time-Out

  View on GitHub
  A programming language where the action occurs between the lines of code
  ☆11Jun 15, 2020Updated 5 years ago
• jahan-addison / serpent

  View on GitHub
  Snake 🐍 on the Dreamcast Memory Card (VMS) peripheral device
  ☆16Updated this week
• johnae / nix-flake-templates

  View on GitHub
  Templates for Nix flakes
  ☆11Jan 20, 2024Updated 2 years ago
• hcrypt-project / obliviousJ

  View on GitHub
  Implements an encryptable machine (shapeCPU Java)
  ☆11Aug 26, 2015Updated 10 years ago
• dim13 / cobs

  View on GitHub
  Consistent Overhead Byte Stuffing
  ☆11Nov 30, 2025Updated 3 months ago
• DianaNites / cargo-sysroot

  View on GitHub
  Simply and Easily cross-compile the Rust sysroot crates.
  ☆14Jan 24, 2022Updated 4 years ago
• davidgomes / pentagine.js

  View on GitHub
  Lightweight framework for HTML5 2D Game Development written with ECMAScript 2016
  ☆12Jul 16, 2016Updated 9 years ago
• dywisor / buildroot-packages

  View on GitHub
  Buildroot package repo
  ☆11Feb 7, 2021Updated 5 years ago
• mirage / irmin-rs

  View on GitHub
  ☆16Apr 11, 2023Updated 2 years ago
• Pivosgroup / buildroot-linux-kernel-m3

  View on GitHub
  ☆14Mar 28, 2014Updated 11 years ago
• asciinema / a2png

  View on GitHub
  Script for generating PNG preview from asciicast JSON file
  ☆14Apr 13, 2022Updated 3 years ago
• signalapp / SignalMetadataKit

  View on GitHub
  ☆13Oct 9, 2021Updated 4 years ago
• qemu / capstone

  View on GitHub
  Mirror of git://qemu.org/capstone.git
  ☆10Updated this week
• knivd / CPU7

  View on GitHub
  Project framework for data scalable 7-bit CPU with stack architecture
  ☆11Jan 22, 2023Updated 3 years ago
• idt12312 / B-ART

  View on GitHub
  UARTをBLEで飛ばすモジュール
  ☆11Jan 23, 2022Updated 4 years ago
• cpputest / CppUTestEclipsePlugin

  View on GitHub
  Eclipse plugin for CppUTest unit test harness
  ☆19Jul 26, 2022Updated 3 years ago
• wwylele / SqueakSquash

  View on GitHub
  Kirby Squeak Squad Map Editor
  ☆10Nov 28, 2015Updated 10 years ago
• sureshjoshi / android-streaming-protobuf-example

  View on GitHub
  Streaming Protocol Buffers example using Wire.
  ☆10Apr 12, 2016Updated 9 years ago