Shuntian Liu's starred repositories
coq-tricks
Tricks you wish the Coq manual told you
ocaml-ctypes
Library for binding to C libraries using pure OCaml
project-based-learning
Curated list of project-based tutorials
ocaml-style
A style guide for OCaml
what-to-eat
What to eat near Computer Laboratory, Cambridge
fucking-algorithm
刷算法全靠套路,认准 labuladong 就够了!English version supported! Crack LeetCode, not only how, but also why.
the-art-of-command-line
Master the command line, in one page
awesome-diagramming
A curated collection of diagramming tools used by leading software engineering teams
matplotlib_for_papers
Handout for the tutorial "Creating publication-quality figures with matplotlib"
build-your-own-x
Master programming by recreating your favorite technologies from scratch.
federated-capacity-consensus
Introducing: Large Scale Capacity Consensus!
modern-unix
A collection of modern/faster/saner alternatives to common unix commands.
K8s-Consensus
A Kubernetes distributed scheduler based on Ratio Consensus Algorithm.
kubernetes-scheduler
Kubernetes custom scheduler based on Sysdig monitoring metrics
Paper-Writing-Tips
MLNLP社区用来帮助大家避免论文投稿小错误的整理仓库。 Paper Writing Tips
recon_demo
Playground for recon, for practice and demos.
erlang_guidelines
Inaka's Erlang Coding Guidelines
vanillalog
A simple Datalog front-end, Haskell DSL, and intermediate representation
free-for-dev
A list of SaaS, PaaS and IaaS offerings that have free tiers of interest to devops and infradev
cs-video-courses
List of Computer Science courses with video lectures.
coding-interview-university
A complete computer science study plan to become a software engineer.
developer-roadmap
Interactive roadmaps, guides and other educational content to help developers grow in their careers.