Skip to content
View tefantasy's full-sized avatar

Highlights

  • Pro

Organizations

@cuhk-eda

Block or report tefantasy

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
Showing results

Resynthesis library for post-mapping optimization

C++ 7 3 Updated Dec 14, 2025

Parmesan: Efficient Partitioning and Mapping Flow for DNN Training on General Device Topology

Python 5 Updated Jan 22, 2026

Zhuofan Lin and Shiju Lin, "GPU-Accelerated Efficient Transduction for Logic Optimization", Design, Automation & Test in Europe Conference (DATE), 2026

C++ 14 Updated Apr 13, 2026

55nm CMOS Open Source PDK by ICsprout Integrated Circuit Co., Ltd. (ICS55 for short).

Verilog 248 25 Updated Jul 31, 2026

A PowerPoint add-in that splits slides according to slideshow-time animation effects

VBA 433 6 Updated Apr 19, 2024

A fully featured single header library implementing a vector container with a small buffer optimization.

C++ 81 9 Updated May 3, 2026
Verilog 29 8 Updated Dec 8, 2025

Activity Indicators for Modern C++

C++ 3,410 271 Updated May 9, 2025

nanobind: tiny and efficient C++/Python bindings

C++ 3,648 315 Updated Jul 26, 2026

A toolkit for SAT-based prototyping in Python

Python 460 95 Updated Jul 30, 2026

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis (DAC 2024)

C 44 10 Updated Jul 17, 2024

Rich is a Python library for rich text and beautiful formatting in the terminal.

Python 56,982 2,276 Updated Jun 23, 2026

GPU-based logic synthesis tool

C++ 108 15 Updated Mar 31, 2026
C++ 54 14 Updated Jan 3, 2024

Xplace 3.0: An Extremely Fast, Extensible and Deterministic Placement Framework with Detailed-Routability and Timing Optimization

C++ 169 21 Updated Jul 8, 2026

GPU MemoryManager based on virtualized queues

C++ 27 4 Updated Jun 25, 2022

CLI11 is a command line parser for C++11 and beyond that provides a rich feature set with a simple and intuitive interface.

C++ 4,393 461 Updated Aug 1, 2026

ABC: System for Sequential Logic Synthesis and Formal Verification

C 1,207 773 Updated Jul 27, 2026

Problems and Results of IWLS 2022 Programming Contest

24 1 Updated Apr 12, 2025

Bayesian optimization in PyTorch

Jupyter Notebook 3,577 490 Updated Jul 21, 2026

A highly efficient implementation of Gaussian Processes in PyTorch

Python 3,901 596 Updated Jul 10, 2026

Quadratic Programming Solver

C 222 46 Updated Oct 24, 2024

A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.

72,529 8,319 Updated Aug 1, 2026

stdgpu: Efficient STL-like Data Structures on the GPU

C++ 1,266 100 Updated Jul 8, 2026

REST, a reinforcement learning framework for constructing rectilinear Steiner Minimum tree (RSMT)

C 62 8 Updated Apr 22, 2022

🎵 Source code for Cider 1

JavaScript 7,148 383 Updated Dec 10, 2024

A modern (2017) compilable re-host of the Espresso heuristic logic minimizer.

C 176 44 Updated Apr 11, 2020

A library for interactive command line interfaces in modern C++

C++ 1,355 153 Updated Dec 22, 2025

Multi-core Decision Diagram (BDD/LDD) implementation

C 44 8 Updated Jul 17, 2026

Functional Programming Library for C++. Write concise and readable C++ code.

C++ 2,290 177 Updated Jul 15, 2026
Next