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
• zv / z3-mode
  An interactive development environment for SMT-LIB files and Z3
  ☆24Updated 2 years ago
• fay59 / interpiler
  Turn an interpreter into a code generator
  ☆31Updated 9 years ago
• riscvarchive / riscv-strace
  RISC-V strace port
  ☆13Updated 8 years ago
• csmith-project / voltest
  Tools for testing C compilers for the correct handling of volatile objects.
  ☆26Updated 10 years ago
• jimix / k42
  K42 Kernel
  ☆26Updated 12 years ago
• gpetiot / Frama-C-Mutation
  Generation of mutant programs
  ☆21Updated 6 years ago
• skeeto / carpet-fractal-genetics
  Carpet fractal genetic algorithm
  ☆12Updated 7 years ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆20Updated 9 years ago
• dfszabo / miniCC
  A compiler for a subset of C11 language. Under development...
  ☆11Updated last year
• Trepan-Debuggers / trepan-xpy
  Debugger in the Trepan family for x-python
  ☆17Updated 3 months ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• hanshuebner / secd
  SECD microprocessor reimplementation in VHDL
  ☆35Updated 5 years ago
• oriansj / mescc-tools
  Bootstrapping tools for Janneke's MES
  ☆34Updated this week
• oriansj / mes-m2
  Making Mes.c M2-Planet friendly
  ☆30Updated 2 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• ascherer / mmix
  MMIX 2009 – a RISC computer for the third millennium
  ☆41Updated last month
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 11 years ago
• drh / drhanson
  Software and documentation, mostly from the 80s and 90s
  ☆23Updated 10 years ago
• blu / elvenrel
  Elven relativism -- relocation and execution of aarch64 ELF relocatable objects (ET_REL)
  ☆20Updated 6 months ago
• Battelle / reductio
  An exploration of code homeomorphism
  ☆34Updated 7 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago
• stamourv / s3
  A Scheme TCP/IP Stack Targeting Small Embedded Applications
  ☆25Updated 11 years ago
• besm6 / dispak
  Simulator of DISPAK operating system (BESM-6)
  ☆18Updated 3 weeks ago
• 8l / scc
  scc - simple C Compiler
  ☆55Updated 8 years ago
• krytarowski / picotrace
  picotrace - system call process tracer
  ☆38Updated 4 years ago
• 8l / ff
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Updated 9 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• regehr / opt-fuzz
  llvm opt fuzzer and bounded exhaustive test generator
  ☆39Updated 2 years ago