Alternatives and similar repositories for popcorn-compiler

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

• mit-pdos / ward
  ☆30Updated 3 years ago
• intel / mOS
  ☆138Updated 3 months ago
• intel / intel-sdsi
  ☆48Updated 8 months ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 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
• ssrg-vt / popcorn-kernel
  Popcorn Linux kernel for distributed thread execution
  ☆162Updated 2 years ago
• fwsGonzo / bigassm
  Assemble 128-bit RISC-V
  ☆45Updated last year
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆16Updated 3 years ago
• riscvarchive / riscv-musl
  musl libc for RISC-V
  ☆83Updated 6 years ago
• RIKEN-SysSoft / mckernel
  McKernel
  ☆120Updated last year
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• unikraft / lib-musl
  musl: A C standard library
  ☆12Updated 2 months ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 3 weeks ago
• krh / ksim
  The little simulator that could.
  ☆23Updated 7 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆58Updated this week
• dougallj / asil
  ☆32Updated last year
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• ManyThreads / mythos
  Many Threads Operating System
  ☆18Updated 3 years ago
• jlgreathouse / AMD_IBS_Toolkit
  AMD Research Instruction Based Sampling Toolkit
  ☆87Updated 4 years ago
• kvm-riscv / howto
  KVM RISC-V HowTOs
  ☆47Updated 3 years ago
• HExSA-Lab / nautilus
  Nautilus Aerokernel
  ☆46Updated 3 years ago
• xiangzhai / dragonegg
  DragonEgg has been migrated to GCC 8 and LLVM 6 but also able to work for GCC 4.8 and LLVM 3.3
  ☆19Updated 6 years ago
• seL4 / util_libs
  ☆59Updated last week
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• riscv-non-isa / riscv-brs
  The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…
  ☆50Updated last week
• Linaro / uadk
  UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.
  ☆50Updated last week
• numap-library / numap
  ☆21Updated last year
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 3 years ago