rose-compiler / rose-develop

Related projects: ⓘ

• StanfordPL / strata
  Automatic inference of a formal specification of the x86_64 instruction set
  ☆65Updated 8 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆100Updated last week
• DennisYurichev / MK85
  ☆93Updated this week
• hq6 / GdbShellPipe
  Enable piping of internal command output to external commands
  ☆70Updated 6 years ago
• unison-code / unison
  Unison's source code
  ☆101Updated 6 months ago
• sampsyo / quala
  custom type systems for Clang
  ☆96Updated 9 years ago
• mshockwave / gross
  Research Compiler using Graph IR for Code Optimizations and Code Generations
  ☆47Updated 5 years ago
• MichaelRFairhurst / vaiven
  a little JIT VM language for (probably/eventually) terminal UI apps.
  ☆61Updated 6 years ago
• animetosho / jit_smc_test
  Test self-modifying code behaviour on processors for single-use JIT functions
  ☆51Updated 4 years ago
• uw-unsat / hyperkernel
  ☆181Updated 4 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆25Updated last year
• rofirrim / gcc-tiny
  GCC Tiny front-end
  ☆100Updated 7 years ago
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆126Updated 3 years ago
• beala / symbolic
  Symbolic execution engine for toy language.
  ☆48Updated 6 years ago
• mhsys / mh
  MH: a microkernel for fun and experimenting!
  ☆30Updated 6 years ago
• codr7 / libcodr7
  fundamental tools in the spirit of C
  ☆59Updated 4 years ago
• nunoplopes / alive
  Alive: Automatic LLVM's Instcombine Verifier
  ☆218Updated last year
• jhjourdan / C11parser
  A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
  ☆190Updated 3 months ago
• nitrousjit / nitrous
  ☆39Updated this week
• SNSystems / dexter
  DExTer - Debug Experience Tester
  ☆33Updated 2 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆63Updated last year
• dpt / Aha
  Tweaked version of "Aha" - "A Hacker's Assistant" superoptimiser by Henry S. Warren
  ☆57Updated 2 years ago
• codr7 / liblgpp
  an extensible stack based interpreter toolkit
  ☆65Updated 3 years ago
• lemire / validateutf8-experiments
  Reproducible experimeents on UTF-8 validation using SIMD instructions
  ☆40Updated 3 weeks ago
• smowton / llpe
  ☆49Updated 6 months ago
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 5 years ago
• revec / llvm-revec
  Revectorization passes integrated into the LLVM compiler infrastructure
  ☆31Updated 5 years ago
• UBMLtonGroup / RTMLton
  MLton with Realtime GC and Threading features
  ☆102Updated 6 months ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 5 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…
  ☆32Updated 2 weeks ago