P3109 / Public
materials available to the public
☆24Updated 4 months ago
Alternatives and similar repositories for Public:
Users that are interested in Public are comparing it to the libraries listed below
- Example for running IREE in a bare-metal Arm environment.☆33Updated last month
- Simple demonstration of using the RISC-V Vector extension☆41Updated 11 months ago
- Chisel library for Unum Type-III Posit Arithmetic☆37Updated this week
- Retargetable ML compilers for the twenty-first century!☆12Updated 2 weeks ago
- A minimal (really) out-of-tree MLIR example☆43Updated 3 weeks ago
- Bridging polyhedral analysis tools to the MLIR framework☆109Updated last year
- Website for CS 265☆28Updated 3 months ago
- Algorithmic C Datatypes☆121Updated 3 months ago
- ☆28Updated 2 years ago
- Embedded Universal DSL: a good DSL for us, by us☆34Updated this week
- FPGA synthesis tool powered by program synthesis☆41Updated 4 months ago
- A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code☆108Updated last week
- ☆33Updated 8 months ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- Open-Source Posit RISC-V Core with Quire Capability☆55Updated 2 months ago
- A GLSL compiler targeting SPIR-V mlir☆19Updated 5 months ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆57Updated 2 weeks ago
- ☆18Updated this week
- ☆40Updated this week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 9 months ago
- ☆14Updated last year
- RISC-V Packed SIMD Extension☆144Updated last year
- PACoGen: Posit Arithmetic Core Generator☆69Updated 5 years ago
- A Rocket-based RISC-V superscalar in-order core☆31Updated this week
- Library to plot integer sets and maps☆49Updated 8 years ago
- ☆13Updated 8 months ago
- ☆53Updated this week
- Integer Set Library (source repository: http://repo.or.cz/w/isl.git)☆70Updated 2 months ago
- RISC-V BSV Specification☆20Updated 5 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆27Updated 3 weeks ago