Similar repositories to uchicago-cs/plrg:
uchicago-cs/plrg
github
similar
aquynh/capstone
github
similar
momchil-velikov/libmacro
github
similar
motemen/gore
github
similar
yandex/YaLM-100B
github
similar
zhengyang92/llvm-with-calls-to-souper
github
similar
andikleen/qemu-avx
github
similar
sdasgup3/PLDI19-X86-64-Semantics
github
similar
ssarangi/relooper_py
github
similar
f0rki/LLTap
github
similar
codingshark/another-ast-printer
github
similar
edgan8/clampcheck
github
similar
dcdelia/tinyvm
github
similar
GrammaTech/gtirb-capstone
github
similar
johnynek/rules_tla
github
similar
RuleBasedIntegration/IntegrationRules
github
similar
malyzajko/ceres
github
similar
elliottt/llvm-threading
github
similar
GrammaTech/mc-asm
github
similar
vincenthz/hsco
github
similar
papers-we-love-blr/love
github
similar
cocreature/llvm-hs-jit-external-lib
github
similar
freynaud/ios-driver
github
similar
Valloric/nailgun
github
similar
ssrg-vt/libhermitMPK
github
similar
ct-gradual-typing/Papers
github
similar
ekondis/gpuroofperf-toolkit
github
similar
ezyang/hamt
github
similar
revng/qemu
github
similar
OCamlPro/optal
github
similar
GaloisInc/golang
github
similar
apache/harmony-drlvm
github
similar
regehr/llvm-dataflow-info
github
similar
mozilla/protofun
github
similar
mc-imperial/multicore-test-harness
github
similar
aoprisan/func
github
similar
gdbinit/luigi
github
similar
stephenrkell/libdlbind
github
similar
kframework/llvm-backend
github
similar
HSAFoundation/HLC-HSAIL-Development-LLVM
github
similar