Alternatives and similar repositories for camkes-vm

Users that are interested in camkes-vm are comparing it to the libraries listed below

• seL4 / camkes-tool

  View on GitHub
  The main CAmkES tool
  ☆27Nov 25, 2025Updated 2 months ago
• seL4 / camkes-vm-examples

  View on GitHub
  ☆17Nov 22, 2025Updated 2 months ago
• seL4 / sel4bench

  View on GitHub
  sel4 benchmarking applications and support library.
  ☆19Dec 18, 2025Updated last month
• seL4 / camkes

  View on GitHub
  Component Architecture test suite and example apps.
  ☆33Aug 15, 2025Updated 6 months ago
• seL4 / sel4-tutorials

  View on GitHub
  Tutorials for working with seL4 and/or CAmkES.
  ☆59Jul 15, 2025Updated 7 months ago
• seL4 / seL4_tools

  View on GitHub
  Basic tools for building seL4 projects
  ☆53Dec 9, 2025Updated 2 months ago
• seL4 / util_libs

  View on GitHub
  ☆61Jan 29, 2026Updated 2 weeks ago
• seL4 / sel4test

  View on GitHub
  Test suite for seL4.
  ☆30Dec 5, 2025Updated 2 months ago
• seL4 / capdl

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

  View on GitHub
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆57Jan 27, 2026Updated 2 weeks ago
• seL4 / rumprun

  View on GitHub
  The Rumprun unikernel and toolchain for various platforms
  ☆11Jul 2, 2024Updated last year
• DistributedComponents / verdi-lockserv

  View on GitHub
  An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework
  ☆14Oct 23, 2017Updated 8 years ago
• seL4 / sel4test-manifest

  View on GitHub
  Project to build and test seL4 for many different platforms
  ☆16Feb 1, 2026Updated 2 weeks ago
• rgushchin / atc

  View on GitHub
  ☆16May 11, 2022Updated 3 years ago
• seL4 / docs

  View on GitHub
  This is the source of the seL4 docs.
  ☆18Updated this week
• seL4 / seL4_projects_libs

  View on GitHub
  ☆18Aug 5, 2025Updated 6 months ago
• OpenAMP / openamp-system-reference

  View on GitHub
  End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.
  ☆23Jan 29, 2026Updated 2 weeks ago
• au-ts / libvmm

  View on GitHub
  A virtual machine monitor for the seL4 microkernel
  ☆52Updated this week
• ZipCPU / wbfmtx

  View on GitHub
  A wishbone controlled FM transmitter hack
  ☆23Jan 16, 2024Updated 2 years ago
• mit-plv / bbv

  View on GitHub
  Bedrock Bit Vector Library
  ☆28Oct 28, 2025Updated 3 months ago
• TUD-OS / NUL

  View on GitHub
  NOVA userland
  ☆49Jan 6, 2014Updated 12 years ago
• TUD-OS / NRE

  View on GitHub
  NOVA runtime environment (official branch)
  ☆35Jul 1, 2021Updated 4 years ago
• ZipCPU / rtcclock

  View on GitHub
  A Real Time Clock core for FPGA's
  ☆28Jan 17, 2024Updated 2 years ago
• SymbiFlow / nextpnr

  View on GitHub
  nextpnr portable FPGA place and route tool
  ☆21Aug 21, 2024Updated last year
• libvmm / libvmm

  View on GitHub
  Virtual Machine Monitor
  ☆23Mar 1, 2021Updated 4 years ago
• Emment-Yamikani / gingerOs

  View on GitHub
  Minimal Unix-like hobby OS
  ☆25Aug 6, 2024Updated last year
• echronos / echronos

  View on GitHub
  The eChronos real-time operating system
  ☆178Dec 30, 2019Updated 6 years ago
• seL4 / musllibc

  View on GitHub
  ☆29Nov 12, 2025Updated 3 months ago
• GPUOpen-Drivers / spvgen

  View on GitHub
  Library to Generate SPIR-V Binary
  ☆36Feb 28, 2025Updated 11 months ago
• zephyrproject-rtos / openthread

  View on GitHub
  openthread module for Zephyr, not a mirror of the official openthread repository
  ☆31Updated this week
• EEESlab / tricore-gcc-toolchain-11.3.0

  View on GitHub
  ☆30Feb 7, 2026Updated last week
• seL4 / rumprun-sel4-demoapps

  View on GitHub
  Apps for running with the rumprun unikernel on seL4.
  ☆33Jan 30, 2026Updated 2 weeks ago
• SLY-F0X / opera-proxy-android-wrapper

  View on GitHub
  Standalone client for proxies of Opera VPN. Android Wrapper
  ☆26Feb 2, 2026Updated last week
• Lawrencemm / openmesh

  View on GitHub
  ☆30Mar 10, 2019Updated 6 years ago
• KVM-VMI / kvm

  View on GitHub
  Fork of KVM with Virtual Machine Introspection patches
  ☆37Jan 22, 2026Updated 3 weeks ago
• carlosedp / chisel-playground

  View on GitHub
  Chisel HDL example applications
  ☆30Aug 11, 2022Updated 3 years ago
• MeGotsThis / Hanabi-AI

  View on GitHub
  This is a hanabi AI bot that can play on http://keldon.net/hanabi/
  ☆11May 29, 2017Updated 8 years ago
• foxtran / FortranBot

  View on GitHub
  Simple Telegram Bot written on FORTRAN for generating LaTeX pictures in private messages and inline mode
  ☆10Jan 26, 2019Updated 7 years ago
• monthadar / FreeBSD-IEEE80211s-simulator

  View on GitHub
  Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.
  ☆11Dec 13, 2011Updated 14 years ago