Alternatives and similar repositories for popcorn-compiler

Users that are interested in popcorn-compiler are comparing it to the libraries listed below

• intel / mOS
  ☆141Updated 6 months ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• jimix / k42
  K42 Kernel
  ☆30Updated 13 years ago
• RIKEN-SysSoft / mckernel
  McKernel
  ☆120Updated 3 weeks ago
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆167Updated 2 years ago
• intel / intel-sdsi
  ☆48Updated 11 months ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆46Updated 3 years ago
• openrisc / llvm-or1k
  LLVM backend for OpenRISC 1000
  ☆29Updated 7 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆61Updated last week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆211Updated 2 years ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆84Updated 6 years ago
• seL4 / util_libs
  ☆59Updated last month
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 6 months ago
• jlgreathouse / AMD_IBS_Toolkit
  AMD Research Instruction Based Sampling Toolkit
  ☆91Updated 4 years ago
• multifacet / 0sim-workspace
  Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
  ☆21Updated 5 years ago
• ut-osa / txfs
  TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
  ☆66Updated 6 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆57Updated this week
• clearlinux / kvmtool
  Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git
  ☆56Updated 9 years ago
• nyuichi / xv6
  xv6 porting to GAIA architecture
  ☆47Updated 10 years ago
• nullpo-head / xv6-mips
  A MIPS port of xv6
  ☆79Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated 2 months ago
• utsaslab / nofs
  The No-Order File System (NoFS)
  ☆48Updated 12 years ago
• uw-unsat / jitterbug
  Verification of BPF JIT compilers
  ☆57Updated 2 years ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆46Updated last year
• antonblanchard / will-it-scale
  ☆79Updated last year
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆130Updated 3 years ago
• HobbesOSR / kitten
  Kitten Lightweight Kernel
  ☆56Updated 2 years ago