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 6 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆69Updated 8 years ago
• smowton / llpe
  ☆50Updated last year
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• unison-code / unison
  Unison's source code
  ☆107Updated last year
• sampsyo / quala
  custom type systems for Clang
  ☆97Updated 9 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 6 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 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 last week
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆218Updated last year
• wsmoses / Tapir-Meta
  ☆24Updated 4 years ago
• MichaelRFairhurst / vaiven
  a little JIT VM language for (probably/eventually) terminal UI apps.
  ☆62Updated 6 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆58Updated 2 years ago
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 3 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆49Updated 5 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆71Updated 6 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆154Updated last month
• lemire / validateutf8-experiments
  Reproducible experimeents on UTF-8 validation using SIMD instructions
  ☆40Updated 7 months ago
• finiteloop / compiler
  Generic scaffolding for an end-to-end LLVM-based compiler
  ☆35Updated 4 years ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆98Updated last year
• m4tx / uefi-jitfuck
  A JIT compiler for Brainfuck running on x86_64 UEFI
  ☆86Updated 6 years ago
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆87Updated 3 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆25Updated last year
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆127Updated 4 years ago
• codr7 / liblgpp
  an extensible stack based interpreter toolkit
  ☆67Updated 4 years ago
• arnoldrobbins / mcilroy-regex
  Doug McIlroy's C++ regular expression matching library
  ☆95Updated 6 years ago
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• kerneis / cpc
  Continuation Passing C
  ☆112Updated 5 years ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆70Updated last year
• danluu / NativeJIT
  A C++ expression -> x86 JIT
  ☆18Updated 8 years ago