Alternatives and similar repositories for rose-develop

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

• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆70Updated 9 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆104Updated 9 months ago
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• finiteloop / compiler
  Generic scaffolding for an end-to-end LLVM-based compiler
  ☆35Updated 4 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆98Updated 9 years ago
• uw-unsat / hyperkernel
  ☆185Updated 5 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 6 years ago
• lemire / validateutf8-experiments
  Reproducible experimeents on UTF-8 validation using SIMD instructions
  ☆40Updated 10 months ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 6 years ago
• dpt / Aha
  A tweaked version of Aha! ("A Hacker's Assistant") the superoptimiser by Henry S. Warren
  ☆58Updated 3 years ago
• MPACT-ORG / llvm-project
  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github…
  ☆31Updated this week
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 6 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated last year
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆220Updated 2 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated last year
• wsmoses / Tapir-Meta
  ☆24Updated 4 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆31Updated 7 years ago
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆86Updated 6 years ago
• uwplse / herbgrind
  A Valgrind tool for Herbie
  ☆94Updated 2 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆146Updated 5 years ago
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• ipankajg / ceed
  A tiny x86 compiler with ELF and PE target
  ☆182Updated last year
• codr7 / libcodr7
  fundamental tools in the spirit of C
  ☆60Updated 5 years ago
• plops / cl-cpp-generator
  another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…
  ☆65Updated 4 years ago
• MichaelRFairhurst / vaiven
  a little JIT VM language for (probably/eventually) terminal UI apps.
  ☆62Updated 6 years ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆103Updated 7 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆52Updated 4 years ago