Popular repositories

1. grind grind Public

   Forked from rsc/grind

   Grind polishes Go programs.

   Go 1

2. llvm-semantics llvm-semantics Public

   Forked from davidlazar/llvm-semantics

   Formal semantics of LLVM IR in K

   LLVM

3. panda panda Public

   Forked from panda-re/panda

   Platform for Architecture-Neutral Dynamic Analysis

   C

4. c2go c2go Public

   Forked from rsc/c2go

   C to Go translation tool supporting Go toolchain migration

   Go

5. fracture fracture Public

   Forked from draperlaboratory/fracture

   an architecture-independent decompiler to LLVM IR

   C++

6. mcsema mcsema Public

   Forked from lifting-bits/mcsema

   x86 to machine code translation framework

   Python