GitHub repository: tum-ei-eda/seal5
Primary language: Python
Description: Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization