Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
algos
for post graduates
alice
C++ command shell library
also
A logic synthesis tool
Corblivar
Corblivar is a simulated-annealing-based floorplanning suite for 3D ICs
cosmos
Algorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter
dotfiles
vim tmux ycm zshrc
mockturtle
C++ logic network library
tangxifan-eda-tools
zfchu.github.io
zfchu's Repositories
zfchu/algos
for post graduates
zfchu/tangxifan-eda-tools
zfchu/zfchu.github.io
zfchu/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
zfchu/cosmos
Algorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter
zfchu/mockturtle
C++ logic network library
zfchu/alice
C++ command shell library
zfchu/also
A logic synthesis tool
zfchu/Corblivar
Corblivar is a simulated-annealing-based floorplanning suite for 3D ICs
zfchu/dotfiles
vim tmux ycm zshrc
zfchu/EDA-wiki
EDA wiki
zfchu/glucose
A brilliant SAT solver by Gilles Audemard and Laurent Simon
zfchu/iNSFC
An awesome LaTeX template for NSFC proposal.
zfchu/k-vim
vim配置
zfchu/kitty
C++ truth table library
zfchu/my-git
Individual collecting material of learning git（有关 git 的学习资料）
zfchu/pdflatex.sh
A bash script to simplify TeX, LaTeX, and XeLaTeX files compilations and more.
zfchu/percy
An advanced header-only exact synthesis library
zfchu/pulpino
An open-source microcontroller system based on RISC-V
zfchu/quicktex
A vim plugin for writing Latex quickly.
zfchu/yosys
Yosys Open SYnthesis Suite
zfchu/z3
The Z3 Theorem Prover
zfchu/z3-playground
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
zfchu/z3py-tutorial