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
  ☆16Feb 1, 2026Updated 2 weeks ago
• AmbiML / sparrow-kernel

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

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

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

  View on GitHub
  Capability Distribution Language tools for seL4
  ☆38Nov 25, 2025Updated 2 months ago
• didiyun / dawnbench-ifx

  View on GitHub
  ☆11Sep 17, 2020Updated 5 years ago
• hcrypt-project / yao

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

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

  View on GitHub
  Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム
  ☆11Sep 30, 2024Updated last year
• 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
• nikoonia / gem5v

  View on GitHub
  A Modified gem5 for Simulating Virtualized Systems
  ☆11Mar 1, 2015Updated 10 years ago
• osafune / max10-protoboard

  View on GitHub
  ☆11Dec 19, 2016Updated 9 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
• 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
• seL4 / sel4runtime

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

  View on GitHub
  seL4 specification and proofs
  ☆592Updated this week
• seL4 / seL4_tools

  View on GitHub
  Basic tools for building seL4 projects
  ☆53Dec 9, 2025Updated 2 months ago
• Pivosgroup / buildroot-linux-kernel-m3

  View on GitHub
  ☆14Mar 28, 2014Updated 11 years ago
• diamondman / adapt-xpcusb-firmware

  View on GitHub
  Firmware for Xilinx Platform Cable 1 USB Jtag adapter
  ☆10Jul 24, 2016Updated 9 years ago
• signalapp / GRKOpenSSLFramework

  View on GitHub
  OpenSSL CocoaPod for iOS and OSX
  ☆16Nov 20, 2022Updated 3 years ago
• ahuigo / gofnext

  View on GitHub
  🛠️ Golang extended function like @cache decorator.
  ☆14Jun 18, 2025Updated 7 months ago
• DianaNites / cargo-sysroot

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

  View on GitHub
  Type-Level Arithmetic in Rust
  ☆10Jan 11, 2016Updated 10 years ago
• signalapp / SignalMetadataKit

  View on GitHub
  ☆13Oct 9, 2021Updated 4 years ago
• qt / qtmacextras

  View on GitHub
  Mac Extras for Qt
  ☆12Oct 31, 2025Updated 3 months ago
• DirtPowered / BetaProtocollib

  View on GitHub
  Packet library for Minecraft Beta 1.6.6 -> Release 1.4.1
  ☆13Feb 10, 2025Updated last year
• 5pi-home / openwrt

  View on GitHub
  My OpenWrt base core router setup
  ☆11Feb 3, 2021Updated 5 years ago
• puripuri2100 / exdesign

  View on GitHub
  A class file easy to customize with SATySFi
  ☆11May 22, 2021Updated 4 years ago
• dim13 / cobs

  View on GitHub
  Consistent Overhead Byte Stuffing
  ☆11Nov 30, 2025Updated 2 months ago
• chainpoint / chainpoint-binary

  View on GitHub
  A Javascript library for converting between Chainpoint JSON-LD and binary proof formats
  ☆11Apr 20, 2022Updated 3 years ago
• mirage / irmin-rs

  View on GitHub
  ☆16Apr 11, 2023Updated 2 years ago
• bsteps / flutter_photon_rs

  View on GitHub
  Dart ffi to photon library, an image processing library written in rust.
  ☆12May 29, 2022Updated 3 years ago
• gpsnmeajp / EasyOpenVRActionInput

  View on GitHub
  SteamVR Action Inputを扱うラッパーライブラリです。
  ☆14Feb 2, 2019Updated 7 years ago
• zalando-stups / api-first-hand-service

  View on GitHub
  API-First-Hand activator template
  ☆10Apr 10, 2019Updated 6 years ago
• node-red / cookbook-flows

  View on GitHub
  A Node-RED Project containing flows from cookbook.nodered.org
  ☆11Feb 14, 2019Updated 7 years ago
• kory33 / s2mc-test

  View on GitHub
  Scala-to-Minecraft testing framework.
  ☆16Feb 4, 2026Updated last week
• Jaylle / CGI.jl

  View on GitHub
  A CGI module for Julia
  ☆10Jul 9, 2014Updated 11 years ago
• aodzip / u-boot-2022.10-Allwinner-A133

  View on GitHub
  Playground for myself
  ☆12Apr 27, 2023Updated 2 years ago
• cpputest / CppUTestEclipsePlugin

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