Similar repositories to regehr/llvm-project:

• regehr/llvm-project github similar
• jubitaneja/souper-cgo20-artifact github similar
• regehr/llvm-dataflow-info github similar
• wilbowma/multi-lang-comp github similar
• regehr/opt-fuzz github similar
• Kraks/sai github similar
• rjnw/sham github similar
• BinaryAnalysisPlatform/bap-tutorial github similar
• Gradual-Typing/Grift github similar
• euisuny/best-of-popl github similar
• deech/libclang-static-build github similar
• mangpo/greenthumb github similar
• jdmccalpin/low-overhead-timers github similar
• ARM-software/asl-interpreter github similar
• joaquintides/usingstdcpp2015 github similar
• koka-lang/libmprompt github similar
• gasche/popl2018-papers github similar
• IUCompilerCourse/IU-P423-P523-E313-E513-Fall-2020 github similar
• GaloisInc/what4 github similar
• zwegner/x86-sat github similar
• binji/wasm-clang github similar
• andreas-abel/uiCA github similar
• mgree/ffs github similar
• PLSysSec/sys github similar
• tendra/tendra github similar
• nadia-polikarpova/cse291-program-synthesis github similar
• nunoplopes/alive github similar
• frank-lang/frank github similar
• akeep/nanopass-framework github similar
• lemire/SIMDCompressionAndIntersection github similar
• zneak/x86doc github similar
• hjl-tools/x86-psABI github similar
• AliveToolkit/alive2 github similar
• sampsyo/llvm-pass-skeleton github similar
• binpash/pash github similar
• GaloisInc/crucible github similar
• granule-project/granule github similar
• TrustInSoft/tis-interpreter github similar
• jiazhihao/TASO github similar
• facebook/SPARTA github similar