☆20Oct 5, 2022Updated 3 years ago
Alternatives and similar repositories for hydra_tutorial
Users that are interested in hydra_tutorial are comparing it to the libraries listed below
Sorting:
- An MLIR-based compiler from C/C++ to AMD-Xilinx Versal AIE☆18Aug 5, 2022Updated 3 years ago
- An LLVM pass to prove that an II works for the given loop for Vitis HLS☆11Aug 22, 2021Updated 4 years ago
- The first large scale formally verified reasoning dataset for Verilog☆19May 16, 2025Updated 9 months ago
- Source code for OpenCOVID, an individual-based model of SARS-CoV-2 transmission and COVID-19 disease dynamics.☆12Jul 16, 2024Updated last year
- 2024华为软件精英挑战赛☆15Feb 11, 2025Updated last year
- Symbolic range analysis for LLVM.☆12Jan 10, 2016Updated 10 years ago
- A stream to RTL compiler based on MLIR and CIRCT☆16Nov 15, 2022Updated 3 years ago
- In this repository I demonstrate how you can perform multimodal(image+text) search to find similar images+texts given a test image+text f…☆13May 22, 2021Updated 4 years ago
- Covid-19 weibo rumor dataset, collected from 2020.1.22 to 2021.4.22☆12Jun 27, 2021Updated 4 years ago
- ☆11Nov 27, 2025Updated 3 months ago
- 舵机转向超声波避障智能小车☆12Jul 18, 2016Updated 9 years ago
- Our project involves the design of an 8-bit microprocessor data-path including 8-byte dual port memory, ALU and barrel shifter using CMOS…☆14Jan 2, 2021Updated 5 years ago
- Slowdown prediction module of Echo: Simulating Distributed Training at Scale☆13May 17, 2025Updated 9 months ago
- LaTeX template for dissertation proposals in Peking University Shenzhen.☆15Feb 23, 2022Updated 4 years ago
- BitGPU is a GPU approach to solve the bitwidth optimization problem in FPGA datapaths.☆11Feb 10, 2017Updated 9 years ago
- MLIR+EqSat☆25Jan 10, 2026Updated last month
- A collection of URLs related to High Level Synthesis (HLS).☆13Jun 26, 2021Updated 4 years ago
- Graphviz dot to Verilog Finite State Machine (FSM) generator written in Python☆15Feb 3, 2021Updated 5 years ago
- Simulation of manipulation tasks using Galaxea robots☆29Aug 18, 2025Updated 6 months ago
- This project demonstrates the PathRAG implementation using a team of 6 AI agents at PhD level to show how PathRAG prunes graph-based RAG …☆15Feb 27, 2025Updated last year
- ☆17Dec 27, 2025Updated 2 months ago
- This project is to list the best books, courses, tutorial, methods on learning certain knowledge☆11Mar 22, 2021Updated 4 years ago
- ☆16Feb 20, 2026Updated last week
- Automatically emulate network service placements calculated by arbitrary placement algorithms☆12Nov 1, 2021Updated 4 years ago
- Galaxea's first diffusion policy release☆38Aug 18, 2025Updated 6 months ago
- software that runs a zed svo recording inside a customizable isaac sim environment.☆15Aug 9, 2023Updated 2 years ago
- Benchmarks, testbenches, and transformed codes for high-level synthesis research☆13Aug 18, 2017Updated 8 years ago
- Simulating Distributed Training at Scale☆14Sep 15, 2025Updated 5 months ago
- ☆18Jun 3, 2017Updated 8 years ago
- A RNN-based solver for the popular word game☆14Oct 21, 2023Updated 2 years ago
- ☆12Jul 20, 2022Updated 3 years ago
- GOMIL: Global Optimization of Multiplier by Integer Linear Programming☆13Aug 25, 2021Updated 4 years ago
- Python version of tools to work with AIG formatted files☆12May 20, 2025Updated 9 months ago
- OKAMI: Teaching Humanoid Robots Manipulation Skills through Single Video Imitation☆32Jun 18, 2025Updated 8 months ago
- Official code repository of Dual AEB☆18Feb 27, 2025Updated last year
- ☆14Jul 24, 2025Updated 7 months ago
- ☆23Dec 16, 2025Updated 2 months ago
- ☆21Jun 22, 2025Updated 8 months ago
- Open source version of DOCA GPUNetIO and DOCA Verbs libraries (limited features) to enable GDAKI technology on RDMA (IB and RoCE)☆31Jan 14, 2026Updated last month