xman / sgpositpy
Probably correct posit prototype for python
☆17Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for sgpositpy
- A Deep Learning Framework for the Posit Number System☆23Updated 3 months ago
- posit (unum type III) integrated Numpy☆14Updated 6 years ago
- Open-Source Posit RISC-V Core with Quire Capability☆44Updated last year
- This is a hardware implementation of exact multiply accumulator for 32-bit posit number with es=2☆15Updated 6 years ago
- Python wrapper for isl, an integer set library☆73Updated this week
- PACoGen: Posit Arithmetic Core Generator☆64Updated 5 years ago
- Drop-in replacement for IEEE Float☆40Updated 4 years ago
- RISC-V emulator in python☆48Updated 4 months ago
- Chisel library for Unum Type-III Posit Arithmetic☆30Updated 7 months ago
- Search-based compiler for high-performance DSP programming☆61Updated last week
- ☆21Updated 2 weeks ago
- Declarative MLIR compilers in Python!☆33Updated 4 years ago
- High-Performance Reproducible BLAS using posit arithmetic☆12Updated 2 years ago
- Time-sensitive affine types for predictable hardware generation☆134Updated 3 months ago
- ☆41Updated 3 years ago
- ☆101Updated 2 years ago
- Bridging polyhedral analysis tools to the MLIR framework☆102Updated last year
- Algorithmic C Datatypes☆116Updated 2 months ago
- A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one☆44Updated 3 weeks ago
- Library to plot integer sets and maps☆47Updated 7 years ago
- A library for working with the posit number type.☆14Updated 4 years ago
- Python interface for MLIR - the Multi-Level Intermediate Representation☆224Updated 3 weeks ago
- Example for running IREE in a bare-metal Arm environment.☆23Updated last month
- A polyhedral compiler for hardware accelerators☆56Updated 3 months ago
- FPGA synthesis tool powered by program synthesis☆38Updated last month
- ☆25Updated 2 years ago
- An out-of-tree MLIR dialect template.☆91Updated 2 months ago
- A system for programming formally-verified loop transformations.☆16Updated 5 years ago
- Universal number Posit HDL Arithmetic Architecture generator☆52Updated 5 years ago
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆88Updated 4 months ago