CristianTirelli / SAT-MapItView external linksLinks
☆14Oct 14, 2025Updated 3 months ago
Alternatives and similar repositories for SAT-MapIt
Users that are interested in SAT-MapIt are comparing it to the libraries listed below
Sorting:
- ESL-CGRA-simulator☆15Sep 8, 2025Updated 5 months ago
- Large-scale medical image processing and reconstruction toolbox☆18Feb 13, 2024Updated 2 years ago
- An Open-Hardware CGRA for accelerated computation on the edge.☆43Oct 31, 2025Updated 3 months ago
- The Chronos FPGA Framework to accelerate ordered applications☆22May 20, 2020Updated 5 years ago
- ☆12May 3, 2025Updated 9 months ago
- ☆21Nov 12, 2025Updated 3 months ago
- Package for computing multiparameter persistence summaries☆10Oct 27, 2023Updated 2 years ago
- NeuroMaC: simulator of the development of Neuronal Morphologies & Circuits☆11Aug 29, 2017Updated 8 years ago
- ☆13Feb 27, 2024Updated last year
- An MLIR-based compiler from C/C++ to AMD-Xilinx Versal AIE☆18Aug 5, 2022Updated 3 years ago
- [ISCA'25] LIA: A Single-GPU LLM Inference Acceleration with Cooperative AMX-Enabled CPU-GPU Computation and CXL Offloading☆13Jun 28, 2025Updated 7 months ago
- ☆11Sep 14, 2020Updated 5 years ago
- ☆13Updated this week
- ☆12Mar 1, 2025Updated 11 months ago
- 华为集合通信性能测试☆15May 27, 2024Updated last year
- The implementation for maximum clique enumeration algorithm☆11Apr 14, 2016Updated 9 years ago
- Discrete Morse-based pipeline for neuron tracing on tracer injection and single-neuron data sets.☆13Jan 14, 2021Updated 5 years ago
- A portable framework to map DFG (dataflow graph, representing an application) on spatial accelerators.☆40Oct 31, 2022Updated 3 years ago
- Extract 1-stable manifold from scalar functions on simplicial complex☆11Nov 13, 2018Updated 7 years ago
- Benchmark and resources for single super-resolution algorithms☆10Apr 14, 2017Updated 8 years ago
- 这里收录比较实用的计算机相关技术书籍，可以在短期之内入门的简单实用教程、一些技术网站以及一些写的比较好的博文，欢迎Fork，你也可以通过Pull Request参与编辑。☆10Jul 21, 2016Updated 9 years ago
- Securing Deep Spiking Neural Networks against Adversarial Attacks through Inherent Structural Parameters☆13Aug 15, 2022Updated 3 years ago
- Compresso: Efficient Compression of Segmentation Data For Connectomics☆12Sep 7, 2021Updated 4 years ago
- An MLIR Complier for PyTorch/C/C++ Codes into HLS Dataflow Designs☆58Aug 1, 2025Updated 6 months ago
- Synthetic aperture focusing technique for optoacoustic mesoscopy and scanning acoustic microscopy.☆13Jul 24, 2024Updated last year
- Integrate the Yay AUR helper into your Polybar☆12Oct 3, 2025Updated 4 months ago
- Unsupervised anomaly detection in the latent space of high energy physics events with quantum machine learning.☆20Oct 29, 2024Updated last year
- This is a personal archive. Please refer to github.com/UCLA-VAST/RapidStream☆15May 31, 2022Updated 3 years ago
- Structure-Aware Image Segmentation with Homotopy Warping☆12Sep 19, 2023Updated 2 years ago
- FPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository☆14Mar 13, 2025Updated 11 months ago
- Github repository of the AIStats 2024 paper: DE-HNN: An effective neural model for Circuit Netlist representation☆14Sep 3, 2025Updated 5 months ago
- ☆13Jul 10, 2024Updated last year
- ☆13May 23, 2024Updated last year
- Repository for AI model benchmarking on TT-Buda☆15Updated this week
- Open source Photonics PDK for VTT's 3 um SOI platform.☆14May 26, 2025Updated 8 months ago
- ☆57Jul 1, 2025Updated 7 months ago
- This is a repository for logarithmic Functional Units☆18Jan 12, 2026Updated last month
- Batch Multi-Fidelity Bayesian Optimization with Deep Auto-Regressive Networks☆12Nov 3, 2021Updated 4 years ago
- ☆15Nov 3, 2025Updated 3 months ago