P3109 / PublicLinks
materials available to the public
☆29Updated 2 weeks ago
Alternatives and similar repositories for Public
Users that are interested in Public are comparing it to the libraries listed below
Sorting:
- Example for running IREE in a bare-metal Arm environment.☆40Updated 6 months ago
- TestFloat release 3☆73Updated 10 months ago
- The SiFive wake build tool☆91Updated last week
- Embedded Universal DSL: a good DSL for us, by us☆65Updated last week
- x86-64, ARM, and RVV intrinsics viewer☆76Updated 2 months ago
- FPGA Assembly (FASM) Parser and Generator☆99Updated 3 years ago
- The specification for the FIRRTL language☆62Updated 2 weeks ago
- A minimal (really) out-of-tree MLIR example☆46Updated 5 months ago
- Time-sensitive affine types for predictable hardware generation☆148Updated 3 weeks ago
- Open-Source Posit RISC-V Core with Quire Capability☆69Updated 11 months ago
- Retargetable ML compilers for the twenty-first century!☆13Updated 9 months ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆82Updated last month
- Simple demonstration of using the RISC-V Vector extension☆50Updated last year
- RISC-V Packed SIMD Extension☆155Updated last week
- A collection of RISC-V Vector (RVV) benchmarks to help developers write portably performant RVV code☆140Updated last week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆117Updated 5 months ago
- Chisel library for Unum Type-III Posit Arithmetic☆45Updated 9 months ago
- Website for CS 265☆33Updated last year
- ☆18Updated last year
- Chisel RISC-V Vector 1.0 Implementation☆128Updated 3 months ago
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆153Updated 2 weeks ago
- CHERI-RISC-V model written in Sail☆66Updated 6 months ago
- A low-level intermediate representation for hardware description languages☆28Updated 5 years ago
- ☆34Updated this week
- ☆148Updated last year
- ☆75Updated 2 weeks ago
- A standard for floating point accuracy benchmarks☆57Updated last week
- ABC: System for Sequential Logic Synthesis and Formal Verification☆31Updated last week
- ☆90Updated this week
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆72Updated 7 months ago