Beast code in Giters

zfchu's repositories

algos

for post graduates

Language:Python9 6 5

tangxifan-eda-tools

Language:C2 20

zfchu.github.io

Language:HTML2 20

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

Language:CNOASSERTION1 10

cosmos

Algorithms that run our universe | Your personal library of every algorithm and data structure code that you will ever encounter

Language:C++GPL-3.01 10

mockturtle

C++ logic network library

Language:C++MIT1 10

alice

C++ command shell library

Language:C++MIT000

also

A logic synthesis tool

Language:C++MIT000

Corblivar

Corblivar is a simulated-annealing-based floorplanning suite for 3D ICs

Language:C++GPL-3.0010

dotfiles

vim tmux ycm zshrc

Language:Vim Script010

EDA-wiki

EDA wiki

Language:Shell010

glucose

A brilliant SAT solver by Gilles Audemard and Laurent Simon

Language:C++NOASSERTION010

iNSFC

An awesome LaTeX template for NSFC proposal.

Language:TeXMIT000

k-vim

vim配置

Language:Vim script010

kitty

C++ truth table library

Language:C++MIT000

my-git

Individual collecting material of learning git（有关 git 的学习资料）

000

pdflatex.sh

A bash script to simplify TeX, LaTeX, and XeLaTeX files compilations and more.

Language:ShellMIT000

percy

An advanced header-only exact synthesis library

Language:CMIT010

pulpino

An open-source microcontroller system based on RISC-V

Language:CNOASSERTION000

quicktex

A vim plugin for writing Latex quickly.

Language:Vim script000

yosys

Yosys Open SYnthesis Suite

ISC000

z3

The Z3 Theorem Prover

Language:C++NOASSERTION000

z3-playground

A repository to store Z3-python scripts you can use as examples, reminders, whatever.

Language:Python010

z3py-tutorial

Language:HTML010