Similar repositories to nunoplopes/llvm-aa-verif:

• nunoplopes/llvm-aa-verif github similar
• aquynh/capstone github similar
• tuvtran/project-based-learning github similar
• danistefanovic/build-your-own-x github similar
• sdasgup3/PLDI19-X86-64-Semantics github similar
• mc-imperial/chauffeur github similar
• travitch/iiglue github similar
• HDembinski/small_pointer github similar
• herumi/dbitv github similar
• leonardoarcari/cgen-llvm-ir-generator github similar
• halide/dump-call-graph github similar
• bebuch/tar github similar
• mc-imperial/bugle github similar
• nabijaczleweli/pb-cpp github similar
• travitch/itanium-abi github similar
• niklasso/tip github similar
• microsoft/mwt-ds-explore-cpp github similar
• chriskohlhoff/resumable-expressions github similar
• maropu/dbitv github similar
• travitch/llvm-data-interop github similar
• kframework/matching-logic-prover github similar
• WLTools/LanguageSpec github similar
• szhorvat/BoolEval github similar
• LIAMF-USP/TikzTemplates github similar
• WolframResearch/CSSTools github similar
• travitch/dismantle github similar
• delcypher/fosdem-2012-implementing-domain-specific-languages-with-llvm github similar
• s-falke/llvm2kittel github similar
• mattgodbolt/cppcon-bits-between-bits github similar
• sdasgup3/x86-64-instruction-summary github similar
• sdasgup3/parallel-processor-design github similar
• InstLatx64/InstLatX64_Demo github similar
• libfirm/bytecode2firm github similar
• microsoft/ELL-models github similar
• delcypher/srg-llvm-pass-tutorial github similar
• iitalics/Opal github similar
• abenkhadra/gosat github similar
• google/morphie github similar
• pgoodman/rcu github similar
• trailofbits/clang-tidy-audit github similar