Alternatives and similar repositories for rose-develop

Users that are interested in rose-develop are comparing it to the libraries listed below

• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 8 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆30Updated 7 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• wsmoses / Tapir-Meta
  ☆24Updated 4 years ago
• codr7 / liblgpp
  an extensible stack based interpreter toolkit
  ☆67Updated 4 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆66Updated 2 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 6 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 6 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 7 years ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆102Updated 7 years ago
• MichaelRFairhurst / vaiven
  a little JIT VM language for (probably/eventually) terminal UI apps.
  ☆62Updated 6 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆34Updated 3 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆25Updated last year
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆86Updated 6 years ago
• arnoldrobbins / mcilroy-regex
  Doug McIlroy's C++ regular expression matching library
  ☆95Updated 6 years ago
• gueststar / nthm
  Non-preemptive Thread Hierarchy Manager
  ☆55Updated 7 months ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• codr7 / libcodr7
  fundamental tools in the spirit of C
  ☆60Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• danluu / NativeJIT
  A C++ expression -> x86 JIT
  ☆18Updated 8 years ago
• smowton / llpe
  ☆53Updated last year
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 6 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago