Skip to content
View stefanpie's full-sized avatar
📡
📡
43 followers · 68 following

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report stefanpie

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

7 results for forked starred repositories
Clear filter

AndyWanna / hls-rtl-llm-rewriting

Forked from stefanpie/hls-rtl-llm-rewriting

HLS RTL LLM Rewriting

Verilog 1 Updated May 19, 2026

ChengyueWang / HLSFactory

Forked from sharc-lab/HLSFactory

HLSFactory: A Framework Empowering High-Level Synthesis Datasets for Machine Learning and Beyond

C++ 2 Updated Jun 3, 2025

domschrei / satsuma

Forked from markusa4/satsuma

static symmetry breaking for SAT

C++ 1 Updated May 16, 2026

ChengyueWang / mlir-aie

Forked from Xilinx/mlir-aie

An MLIR-based toolchain for AMD AI Engine-enabled devices.

C 2 Updated Jun 1, 2026

matth2k / z3.rs

Forked from prove-rs/z3.rs

Rust bindings for the Z3 solver.

Rust 1 Updated Mar 19, 2026

jk2997 / nl-compiler

Forked from matth2k/nl-compiler

Frontend compiler for safety-net

Rust 1 Updated May 24, 2026

tallamjr / sa-placer

Forked from stefanpie/sa-placer
Rust 3 Updated Dec 12, 2025