Alternatives and similar repositories for xkdb:

Users that are interested in xkdb are comparing it to the libraries listed below

• pinczakko / PCI-Expansion-ROM-OS
  Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…
  ☆36Updated 8 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• static-analysis-engineering / CodeHawk-C
  CodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
  ☆27Updated 2 months ago
• lyegoshin / tinyVP
  tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …
  ☆19Updated last year
• yabits / llvm
  LLVM backend for EFI Byte Code
  ☆11Updated 5 years ago
• avisi-group / captive
  The Captive Hypervisor
  ☆42Updated 2 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated last week
• stp / minisat
  A minimalistic and high-performance SAT solver
  ☆27Updated 2 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated last week
• cdl-saarland / axtor
  AST - Extractor for LLVM
  ☆18Updated 3 years ago
• draperlaboratory / VIBES
  Verified, Incremental, Binary Editing with Synthesis
  ☆54Updated last year
• intel / libaji_client
  This is the client side library to access JTAG Server distributed with Quartus (jtagd/jtagserver.exe). The protocol is known as Advanced …
  ☆19Updated 6 months ago
• v3l0c1r4pt0r / makeelf
  ELF reader-writer library for Python3
  ☆62Updated 2 years ago
• alastairreid / mra_tools
  Tools to process ARM's Machine Readable Architecture Specification
  ☆126Updated 5 years ago
• alastairreid / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆41Updated last week
• ARM-software / asl-interpreter
  Example implementation of Arm's Architecture Specification Language (ASL)
  ☆115Updated 5 years ago
• ArchC / ArchC
  A powerful and modern open-source architecture description language.
  ☆41Updated 7 years ago
• swetland / gateware
  A collection of little open source FPGA hobby projects
  ☆48Updated 5 years ago
• GJDuck / EffectiveSan
  Runtime type and bounds-error checking for C/C++
  ☆102Updated 2 months ago
• Mrktn / ccg
  CCG is a random C Code Generator
  ☆43Updated 2 years ago
• novt-vtable-less-compiler / novt-llvm
  NoVT is a compiler-based defense against vtable hijacking in C++ programs. It compiles C++ programs without using vtables.
  ☆50Updated 2 years ago
• avatarone / avatar-gdbstub
  GDB stub that allows debugging of embedded devices
  ☆31Updated 9 years ago
• ktemkin-archive / bfstub
  Stub example hypervisor for AArch64 intended to allow other hypervisors to become resident later
  ☆20Updated 2 years ago
• whitequark / python-itanium_demangler
  Pure Python Itanium C++ ABI demangler
  ☆34Updated 2 years ago
• yabits / ebcvm
  EFI Byte Code Virtual Machine in userspace
  ☆77Updated 2 years ago
• nidhugg / nidhugg
  Nidhugg is a bug-finding tool which targets bugs caused by concurrency and relaxed memory consistency in concurrent programs. It is parti…
  ☆82Updated 2 months ago
• michaeljclark / riscv-meta
  RISC-V Instruction Set Metadata
  ☆41Updated 6 years ago
• lab11 / M-ulator
  A highly extensible ARM {e,si}mulator
  ☆28Updated 3 weeks ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆29Updated this week
• rems-project / sail-arm
  Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
  ☆77Updated last week