xman / sgpositpyLinks
Probably correct posit prototype for python
☆18Updated 5 years ago
Alternatives and similar repositories for sgpositpy
Users that are interested in sgpositpy are comparing it to the libraries listed below
Sorting:
- A Deep Learning Framework for the Posit Number System☆29Updated 11 months ago
- posit (unum type III) integrated Numpy☆15Updated 6 years ago
- This is a hardware implementation of exact multiply accumulator for 32-bit posit number with es=2☆16Updated 7 years ago
- PACoGen: Posit Arithmetic Core Generator☆73Updated 5 years ago
- ☆103Updated 3 years ago
- Time-sensitive affine types for predictable hardware generation☆145Updated last week
- RISC-V emulator in python☆60Updated last year
- Open-Source Posit RISC-V Core with Quire Capability☆62Updated 5 months ago
- Algorithmic C Datatypes☆126Updated last month
- Drop-in replacement for IEEE Float☆41Updated 5 years ago
- magma circuits☆261Updated 9 months ago
- ☆23Updated last week
- ☆40Updated 3 years ago
- A collection of classes providing simple hardware specification, simulation, tracing, and testing suitable for teaching and research. Si…☆282Updated last week
- Peak : Processor Specification Language ala Newell and Bell's ISP☆20Updated last year
- This is a repository for logarithmic Functional Units☆16Updated 2 years ago
- Verilog development and verification project for HOL4☆26Updated 2 months ago
- APyTypes - Algorithmic data types for Python☆27Updated this week
- A circuit toolkit☆103Updated 5 years ago
- CoreIR Symbolic Analyzer☆73Updated 4 years ago
- Designs, infrastructure, and experiments around Race Logic☆25Updated 5 years ago
- Debuggable hardware generator☆69Updated 2 years ago
- Falcon Merlin Compiler☆41Updated 5 years ago
- A polyhedral compiler for hardware accelerators☆59Updated 11 months ago
- Python wrapper for isl, an integer set library☆77Updated last week
- Universal number Posit HDL Arithmetic Architecture generator☆61Updated 6 years ago
- ☆26Updated 2 years ago
- A formally verified high-level synthesis tool based on CompCert and written in Coq.☆92Updated last year
- Library to plot integer sets and maps☆49Updated 8 years ago
- A generic test bench written in Bluespec☆53Updated 4 years ago