8000 tefantasy (ltj) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
Showing results

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

VBA 357 6 Updated Apr 19, 2024

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

C++ 63 5 Updated Apr 27, 2025
Verilog 22 4 Updated Jun 13, 2025

Activity Indicators for Modern C++

C++ 3,216 249 Updated May 9, 2025

nanobind: tiny and efficient C++/Python bindings

C++ 2,867 239 Updated Jul 4, 2025

A toolkit for SAT-based prototyping in Python

Python 425 75 Updated May 30, 2025

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

C 33 5 Updated Jul 17, 2024

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

Python 52,723 1,855 Updated Jun 24, 2025

GPU-based logic synthesis tool

C++ 83 9 Updated Jun 24, 2025
C++ 44 8 Updated Jan 3, 2024

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

C++ 128 16 Updated Jun 19, 2025

GPU MemoryManager based on virtualized queues

C++ 23 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++ 3,721 373 Updated Jun 30, 2025

ABC: System for Sequential Logic Synthesis and Formal Verification

C 1,010 640 Updated Jun 19, 2025

Problems and Results of IWLS 2022 Programming Contest

19 1 Updated Apr 12, 2025

Bayesian optimization in PyTorch

Jupyter Notebook 3,291 429 Updated Jul 6, 2025

A highly efficient implementation of Gaussian Processes in PyTorch

Python 3,727 567 Updated Jun 30, 2025

Quadratic Programming Solver

C 207 40 Updated Oct 24, 2024

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

64,723 8,014 Updated Jul 3, 2025

stdgpu: Efficient STL-like Data Structures on the GPU

C++ 1,226 91 Updated Apr 16, 2025

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

C 56 9 Updated Apr 22, 2022

🎵 Source code for Cider 1

JavaScript 7,194 366 Updated Dec 10, 2024

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

C 153 42 Updated Apr 11, 2020

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

C++ 1,295 149 Updated Apr 14, 2025

Multi-core Decision Diagram (BDD/LDD) implementation

C 44 8 Updated Nov 17, 2023

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

C++ 2,205 175 Updated Jun 24, 2025

A simple GPU hash table implemented in CUDA using lock free techniques

Cuda 395 41 Updated Feb 7, 2024

A Library for fast Hash Tables on GPUs

C++ 125 11 Updated Jul 1, 2022

Fast & memory efficient hashtable based on robin hood hashing for C++11/14/17/20

C++ 1,574 151 Updated May 1, 2023

cuGraph - RAPIDS Graph Analytics Library

Cuda 1,991 331 Updated Jul 2, 2025
Next
0