Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
android-view-animations-java
Awesome library to use the view animation system to perform tweened animations such as Attention, Bounce, Fade, Flip, Rotate, Slide and Zoom on Views.
BasePopup
一款针对系统PopupWindow优化的Popup库，功能强大，支持背景模糊，定位简单，你会爱上他的~
c_go_c
casbin-go-cloud-watcher
Policy change sync using Go Cloud Development Kit
control
🎛️ coroutines flow based uni-directional architecture
csvtotable
Simple command-line utility to convert CSV files to searchable and sortable HTML table.
EDAViewer
EDAV: Open-Source EDA Viewer; render design LEF/DEF files in your browser!
go-grpc-middleware
Golang gRPC Middlewares: interceptor chaining, auth, logging, retries and more.
hraft-dispatcher
A dispatcher based on Hashicorp's Raft for Casbin.
zhangxinghao's Repositories
zhangxinghao/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
zhangxinghao/android-view-animations-java
Awesome library to use the view animation system to perform tweened animations such as Attention, Bounce, Fade, Flip, Rotate, Slide and Zoom on Views.
zhangxinghao/BasePopup
一款针对系统PopupWindow优化的Popup库，功能强大，支持背景模糊，定位简单，你会爱上他的~
zhangxinghao/c_go_c
zhangxinghao/casbin-go-cloud-watcher
Policy change sync using Go Cloud Development Kit
zhangxinghao/control
🎛️ coroutines flow based uni-directional architecture
zhangxinghao/csvtotable
Simple command-line utility to convert CSV files to searchable and sortable HTML table.
zhangxinghao/EDAViewer
EDAV: Open-Source EDA Viewer; render design LEF/DEF files in your browser!
zhangxinghao/go-grpc-middleware
Golang gRPC Middlewares: interceptor chaining, auth, logging, retries and more.
zhangxinghao/hraft-dispatcher
A dispatcher based on Hashicorp's Raft for Casbin.
zhangxinghao/kissat
zhangxinghao/MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
zhangxinghao/osmdroid
OpenStreetMap-Tools for Android
zhangxinghao/pmsis_api
zhangxinghao/ProgressButton
Android Progress Button
zhangxinghao/protobuf
Protocol Buffers - Google's data interchange format
zhangxinghao/pulpino
An open-source microcontroller system based on RISC-V
zhangxinghao/rocketmq-client-go
Apache RocketMQ go client
zhangxinghao/svgren
:camera: SVG rendering library in C++
zhangxinghao/taskell
Command-line Kanban board/task manager with support for Trello boards and GitHub projects
zhangxinghao/vue
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
zhangxinghao/wechat
weixin/wechat/微信公众平台/微信企业号/微信商户平台/微信支付 go/golang sdk
zhangxinghao/yosys
Logic synthesis and ABC based optimization