-
-
tapa Public
Forked from UCLA-VAST/tapaTAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerators.
C++ MIT License UpdatedMar 29, 2026 -
dotfiles Public
My Linux Configs (instruction here: https://github.com/Jiahui17/dotfiles/blob/master/.config/README.md)
-
-
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedFeb 19, 2026 -
promise Public
Forked from ETHZ-DYNAMO/promiseAn optimization tool for removing redundancy in sequential circuits.
C++ GNU General Public License v3.0 UpdatedJan 6, 2026 -
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
C++ ISC License UpdatedJan 5, 2026 -
-
-
-
logic-synthesis Public
Forked from JackHack96/logic-synthesisLogic synthesis system from UC Berkeley
C Other UpdatedOct 9, 2025 -
dynamatic Public
Forked from EPFL-LAP/dynamaticDHLS (Dynamic High-Level Synthesis) compiler based on MLIR
C++ Other UpdatedAug 19, 2025 -
-
legacy-dynamatic Public
NOTE: this repository is obsolete, please checkout https://github.com/EPFL-LAP/dynamatic. A fork of the Dynamatic HLS compiler from https://github.com/lana555/dynamatic
-
Pyverilog Public
Forked from PyHDI/PyverilogPython-based Hardware Design Processing Toolkit for Verilog HDL
Python Apache License 2.0 UpdatedMar 18, 2025 -
calyx Public
Forked from calyxir/calyxIntermediate Language (IL) for Hardware Accelerator Generators
Rust MIT License UpdatedMar 16, 2025 -
ranger Public
Forked from ranger/rangerA VIM-inspired filemanager for the console
Python GNU General Public License v3.0 UpdatedMar 11, 2025 -
dot2smv Public
A formal verification model generator for dataflow circuits based on nuXmv
-
xls Public
Forked from google/xlsXLS: Accelerated HW Synthesis
C++ Apache License 2.0 UpdatedFeb 21, 2025 -
xls-float-ip Public
Generating Floating Point Units for Dynamatic Using Google-XLS
Logos UpdatedJan 17, 2025 -
-
-
tapa-utils Public
My scratchpad experimenting with the TAPA framework (https://github.com/UCLA-VAST/tapa/tree/release)
Shell UpdatedMar 10, 2024 -
dynamatic-scripts-centos Public
Some useful scripts for setting up dynamatic on CentOS systems
Shell UpdatedNov 28, 2023 -
circt Public
Forked from EPFL-LAP/circtCircuit IR Compilers and Tools
C++ Other UpdatedNov 5, 2023 -
not-Jiahui17.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedOct 30, 2023 -
-
stx_cookbook Public
Forked from thomasrussellmurphy/stx_cookbookAltera Advanced Synthesis Cookbook 11.0
Verilog UpdatedApr 7, 2023
{{ message }}