Pinned Repositories
pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
GoVector
Vector clock logging library for Go
tracing
A light-weight library for manual distributed system tracing
algorithms
Useful codes for ACM-ICPC contests
gcl
grpc-go-contracts
Verify the communication of your microservices by writing contracts for your RPCs
limoo
Limoo shows lyrics for the current playing song
limoo-server
limoo-server fetches song lyrics from multiple sources
notionify
shayan-zsh-theme
Shayan's ZSH Theme
shayanh's Repositories
shayanh/lLyrics-Musixmatch
A Rhythmbox plugin for displaying lyrics in the sidebar.
shayanh/server-info
Simple go web application for running in Kubernetes cluster
shayanh/AutoFocus
Automatic focus on monitor that user looks
shayanh/awesome-zsh-plugins
A collection of ZSH frameworks, plugins & themes inspired by the various awesome list collections out there.
shayanh/blog
shayanh/CAPTCHA-Farsi
shayanh/charts
Cafebazaar charts repository
shayanh/collectd-ceph
collectd plugins and dashboards for ceph
shayanh/floodlight-sara-protocol
shayanh/lua-resty-checkups
Manage Nginx upstreams in pure Lua.
shayanh/pintos
Scheduler and system call handler implementation for pintos