zfchu's repositories
mockturtle
C++ logic network library
alice
C++ command shell library
Language:C++MIT000
iNSFC
An awesome LaTeX template for NSFC proposal.
Language:TeXMIT000
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
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.