Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
☆13Mar 29, 2021Updated 4 years ago
Alternatives and similar repositories for aetherling
Users that are interested in aetherling are comparing it to the libraries listed below
Sorting:
- ☆30Oct 16, 2022Updated 3 years ago
- Provides Spatial with front-end support from popular machine learning frameworks☆34Sep 30, 2019Updated 6 years ago
- Scala staging framework☆18Jul 13, 2018Updated 7 years ago
- Time-sensitive affine types for predictable hardware generation☆148Jan 5, 2026Updated last month
- Weekly update for SG2042 ecosystem. RISC-V is inevitable!☆22Jul 11, 2025Updated 7 months ago
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- A polyhedral compiler for hardware accelerators☆59Jul 24, 2024Updated last year
- Pono: A flexible and extensible SMT-based model checker☆117Feb 5, 2026Updated 3 weeks ago
- ☆30Mar 2, 2021Updated 4 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- Fork of Hipacc generating code for Vivado HLS and Altera OpenCL☆24Oct 8, 2018Updated 7 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆57Sep 15, 2020Updated 5 years ago
- Example of how to use UVM with Verilator☆37Feb 19, 2026Updated last week
- ☆104Jun 27, 2022Updated 3 years ago
- NOCulator is a network-on-chip simulator providing cycle-accurate performance models for a wide variety of networks (mesh, torus, ring, h…☆29Feb 6, 2023Updated 3 years ago
- CoreIR Symbolic Analyzer☆74Oct 27, 2020Updated 5 years ago
- Semi-private RTL development upstream of OpenCPI - this is *not* the OpenCPI repo!☆25Oct 19, 2016Updated 9 years ago
- Kansas Lava☆50Oct 6, 2019Updated 6 years ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated 3 weeks ago
- Floating point modules for CHISEL☆32Nov 2, 2014Updated 11 years ago
- A Vivado HLS Command Line Helper Tool☆36Oct 6, 2021Updated 4 years ago
- Experiments with fast term-rewriting in clojure☆64Jul 5, 2015Updated 10 years ago
- Source code for the Shifted Hamming Distance (SHD) filtering mechanism for sequence alignment. Described in the Bioinformatics journal pa…☆36Mar 29, 2020Updated 5 years ago
- A DSL for Systolic Arrays☆83Dec 14, 2018Updated 7 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- Datasets file for hypergraphs☆18Nov 27, 2025Updated 3 months ago
- Yet another Linux distro for RISC-V.☆13Dec 25, 2025Updated 2 months ago
- Implementation of Tagged Memory security policies into Rocket Core☆10Nov 8, 2016Updated 9 years ago
- [FCCM 2023] PASTA: Programming and Automation Support for Scalable Task-Parallel HLS Programs on Modern Multi-Die FPGAs☆13Jun 26, 2025Updated 8 months ago
- build and package Inkscape on macOS☆10Dec 11, 2025Updated 2 months ago
- An AMD am2901 4-bit ALU slice☆10Feb 14, 2023Updated 3 years ago
- ☆12Nov 22, 2024Updated last year
- Ocean sensor data from the NOAA CO-OPS API☆14Jul 14, 2016Updated 9 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Sample Python code that demonstrates how to use the Python client to work with Riak TS (Time Series)☆11Aug 30, 2016Updated 9 years ago
- Startup equity calculator☆12Dec 11, 2019Updated 6 years ago
- Read and write VCD (Value Change Dump) files in Rust☆45Feb 27, 2024Updated 2 years ago
- ☆40Sep 17, 2021Updated 4 years ago
- Purely functional data structures in Java☆39May 14, 2021Updated 4 years ago