Similar repositories to sergei-grechanik/peqsen:

• sergei-grechanik/peqsen github similar
• emsec/hal-benchmarks github similar
• lnis-uofu/yosys_prefix_trees github similar
• kframework/k-in-k github similar
• sergei-grechanik/supercompilation-hypergraph github similar
• christinaa/xnu-uboot-arm32 github similar
• diamondman/proteusisc github similar
• jenshweber/grape github similar
• BackofenLab/GGL github similar
• beehive-lab/FastPath_MP github similar
• sdiehl/pyrewrite github similar
• cambridgehackers/fpgajtag github similar
• tdene/synth_opt_adders github similar
• gpgpu-sim/pytorch-gpgpu-sim github similar
• rems-project/rmem github similar
• uwplse/ruler github similar
• SymbiFlow/python-fpga-interchange github similar
• kframework/llvm-semantics github similar
• mshockwave/generator-llvm github similar
• ymherklotz/vericert github similar
• uwplse/tensat github similar
• cilkplus/llvm github similar
• JBakouny/Scallina github similar
• asmjit/cult github similar
• Quansight-Labs/ndindex github similar
• SaadAhmad/in_constexpr github similar
• cpc/tce github similar
• Xilinx/mlir-aie github similar
• im-tomu/foboot github similar
• wsmoses/Polygeist github similar
• ROCmSoftwarePlatform/rocFFT github similar
• emtiyaz/vadam github similar
• rems-project/lem github similar
• itszor/vc4-toolchain github similar
• JuliaSymbolics/Metatheory.jl github similar
• christinaa/LLVM-VideoCore4 github similar
• cornell-brg/pydgin github similar
• frabert/ClangQL github similar
• pietroborrello/CustomProcessingUnit github similar
• mattbierner/Template-Assembly github similar