rose-compiler / rose-develop

Related projects ⓘ

Alternatives and complementary repositories for rose-develop

• unison-code / unison
  Unison's source code
  ☆104Updated 8 months ago
• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆68Updated 8 years ago
• uw-unsat / hyperkernel
  ☆181Updated 4 years ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 7 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆103Updated 8 months ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆48Updated 5 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆63Updated 2 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆101Updated 2 months ago
• nsumner / llvm-demo
  A simple example of how LLVM can be used to gather static or dynamic facts about a program.
  ☆70Updated 10 months ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆70Updated 6 years ago
• codr7 / liblgpp
  an extensible stack based interpreter toolkit
  ☆66Updated 3 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆219Updated last year
• backtrace-labs / poireau
  Poireau: a sampling allocation debugger
  ☆86Updated 2 years ago
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆57Updated 2 years ago
• AnyDSL / thorin
  The Higher-Order Intermediate Representation
  ☆151Updated this week
• sinelaw / elfs-clang-plugins
  A collection of clang plugins for safer C programming
  ☆91Updated 6 years ago
• wsmoses / Tapir-Meta
  ☆24Updated 4 years ago
• gueststar / nthm
  Non-preemptive Thread Hierarchy Manager
  ☆55Updated 3 weeks ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 5 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆51Updated 6 years ago
• danluu / NativeJIT
  A C++ expression -> x86 JIT
  ☆18Updated 7 years ago
• logicchains / LPATHBench
  Benchmarks of the longest path problem in various languages
  ☆154Updated 5 years ago
• revng / llvmcpy
  Python bindings for LLVM auto-generated from the LLVM-C API
  ☆210Updated 4 months ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆106Updated 8 years ago