Alternatives and similar repositories for GIMMIX

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

• travisdowns / nasm-utils
  Miscellaneous macros useful for writing x86 asm in nasm or yasm
  ☆7Updated 4 years ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆39Updated 5 years ago
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 weeks ago
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆25Updated 2 years ago
• davidad / fasm_example_64
  Using FASM (the Flat assembler) cross-platform (OSX/Linux)
  ☆27Updated 3 years ago
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 3 years ago
• a3f / libvas
  Peek/Poke like it's 1979 - Multi-Platform memory reading/writing
  ☆12Updated 6 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆34Updated 9 months ago
• lifting-bits / cxx-common
  Common dependency management for various Trail of Bits C++ codebases
  ☆33Updated last year
• afonsotrepa / LOS-64
  Small LISP-1 OS for x86-64 written in C, asm and Common Lisp
  ☆11Updated 7 years ago
• anthay / Lisp90
  Lisp Interpreter in 90 lines of C++ (not counting lines after the first 90).
  ☆41Updated 9 years ago
• ademakov / libjit
  Unofficial libjit mirror.
  ☆62Updated 5 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆30Updated 5 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆27Updated 10 years ago
• troglobit / jush
  just give me a unix shell
  ☆33Updated 3 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• LIMachi / swiss-table
  C adaptation of the swiss table (flat hash map) presented at CppCon by Google (https://www.youtube.com/watch?v=ncHmEUmJZf4).
  ☆17Updated 5 years ago
• hlopko / architecture_of_symbolic_computers_notes
  My notes from reading this amazing book by Peter M. Kogge.
  ☆23Updated 11 years ago
• rofl0r / rcb2
  intelligent and automatic build system for C
  ☆13Updated 4 years ago
• radareorg / radare2-rlang
  Writing Radare2 plugins in various languages
  ☆16Updated 5 months ago
• plasma-umass / entroprise
  measure entropy of memory allocators
  ☆12Updated 3 years ago
• aguinet / purectypes
  pure-python C types packer/unpacker
  ☆18Updated 5 years ago
• aengelke / raspsim
  Cycle-accurate X86-64 simulator based on PTLsim
  ☆30Updated 2 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• coreutils / oss-fuzz
  OSS-Fuzz - continuous fuzzing of open source software
  ☆10Updated 8 years ago
• remexre / forth386
  A bare-metal Forth for i386 machines.
  ☆13Updated 6 years ago
• trailofbits / sixtyfour
  How fast can we brute force a 64-bit comparison?
  ☆52Updated 5 years ago
• jjyr / jonesforth_riscv
  Jonesforth RISC-V port.
  ☆59Updated 4 years ago