tum-ei-eda / seal5View external linksLinks
Seal5 - Semi-automated LLVM Support for RISC-V Extensions including Autovectorization
☆25Feb 2, 2026Updated last week
Alternatives and similar repositories for seal5
Users that are interested in seal5 are comparing it to the libraries listed below
Sorting:
- Xtext project to parse CoreDSL files☆24Oct 17, 2025Updated 3 months ago
- ☆13Dec 18, 2025Updated last month
- TUM EI7402 SystemC laboratory assignments☆11Aug 10, 2021Updated 4 years ago
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆16Updated this week
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆27Oct 4, 2023Updated 2 years ago
- ☆17Apr 16, 2024Updated last year
- An Open-Source SCAlable Interface for ISA Extensionsfor RISC-V Processors. New Version:☆17Feb 29, 2024Updated last year
- ☆18Jul 26, 2024Updated last year
- This project records the process of optimizing SGEMM (single-precision floating point General Matrix Multiplication) on the riscv platfor…☆24Dec 11, 2024Updated last year
- An open-source implementation of the VADL processor description language.☆43Updated this week
- NVidia sass disassembler/inline patcher☆42Updated this week
- A public repository discussing the PULP (Parallel Ultra Low Power) platform for open-source RISC-V processors and associated software.☆29Nov 18, 2025Updated 2 months ago
- Static analysis of semantic differences in kernel versions☆41Dec 18, 2025Updated last month
- ArchExplorer: Microarchitecture Exploration Via Bottleneck Analysis☆33Feb 20, 2024Updated last year
- A sphinx extension that allows including wavedrom diagrams by using its text-based representation☆39Sep 3, 2024Updated last year
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆35Feb 5, 2026Updated last week
- Dalamud Plugin that synchronizes your character data to one main character.☆15Jul 11, 2024Updated last year
- ☆50Dec 17, 2025Updated last month
- An optimized neural network operator library for chips base on Xuantie CPU.☆98Jun 26, 2024Updated last year
- MICRO 2023 Evaluation Artifact for TeAAL☆10Oct 26, 2023Updated 2 years ago
- Tracks cross references and allows fast viewing of pseudocode between references☆13Mar 10, 2025Updated 11 months ago
- Short Python script for parsing Defender VDM signature files.☆10Sep 22, 2024Updated last year
- ☆89Oct 18, 2023Updated 2 years ago
- Yet another Linux distro for RISC-V.☆13Dec 25, 2025Updated last month
- Python script to send SMS using Huawei new[er] USB dongles via the HTTP interface☆11Jul 10, 2017Updated 8 years ago
- AI-ML-NLP Task Group☆13Aug 10, 2023Updated 2 years ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Feb 4, 2026Updated last week
- ☆12Jan 21, 2026Updated 3 weeks ago
- 第一届 RISC-V 中国峰会的幻灯片等资料存放☆38Nov 17, 2022Updated 3 years ago
- A Delphi symbol name recovery tool for reverse engineers.☆23Jan 17, 2026Updated 3 weeks ago
- ☆14Dec 27, 2024Updated last year
- Self-hosting binary instrumentation framework for security research☆12Apr 10, 2023Updated 2 years ago
- Font repository for fixedsys family fonts☆12Jul 1, 2022Updated 3 years ago
- an External Function Auto-Completion Tool to Strengthen the Static Binary Lifting☆13May 13, 2024Updated last year
- A template-based, layer-oriented High Level Synthesis Tool for AI algorithms☆13Dec 15, 2025Updated 2 months ago
- Swan Benchmark Suite☆13Sep 17, 2025Updated 4 months ago
- Libraries, firmwares and headers used by OpenPLC (can be used to add OpenPLC support to Arduino IDE 1.5.x)☆12Sep 30, 2014Updated 11 years ago
- Arduino library to support Xbee Wifi modules, using SPI communication☆19Feb 17, 2015Updated 10 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆12Oct 20, 2022Updated 3 years ago