tangruize's Stars
getify/You-Dont-Know-JS
A book series on JavaScript. @YDKJS on twitter.
ohmyzsh/ohmyzsh
🙃 A delightful community-driven (with 2,300+ contributors) framework for managing your zsh configuration. Includes 300+ optional plugins (rails, git, macOS, hub, docker, homebrew, node, php, python, etc), 140+ themes to spice up your morning, and an auto-update tool that makes it easy to keep up with the latest updates from the community.
google/googletest
GoogleTest - Google Testing and Mocking Framework
AlDanial/cloc
cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.
mockito/mockito
Most popular Mocking framework for unit tests written in Java
getzola/zola
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
akka/akka
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
ImageMagick/ImageMagick
🧙♂️ ImageMagick 7
alshedivat/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
changgyhub/leetcode_101
LeetCode 101:和你一起你轻松刷题(C++)
maharmstone/btrfs
WinBtrfs - an open-source btrfs driver for Windows
sinaatalay/rendercv
The engine of the RenderCV App
alangibson/awesome-crdt
A collection of awesome CRDT resources
awslabs/shuttle
Shuttle is a library for testing concurrent Rust code
jepsen-io/knossos
Verifies the linearizability of experimentally accessible histories.
Azure/azure-cosmos-tla
Azure Cosmos TLA+ specifications
pcooksey/bibtex-js
BibTeX-js can parse a BibTeX-file and render it as part of an HTML file. This way, you can easily add a list of publications to your private homepage or display a list of recommended publications for a seminar. The way the entries are display can be customized using a simple template system and CSS.
mit-pdos/fscq
FSCQ is a certified file system written and proven in Coq
antirez/redlock-rb
Redlock Redis-based distributed locks implementation in Ruby
RatanShreshtha/DeepThought
A simple blog theme focused on writing powered by Bulma and Zola.
DistCompiler/pgo
PGo is a source to source compiler from Modular PlusCal specs into Go programs.
mit-pdos/perennial
Verifying concurrent crash-safe systems
xlab-uiuc/acto
Push-Button End-to-End Testing of Kubernetes Operators and Controllers
vmware-research/verifiable-controllers
This is a VMware Research Group project. It is an experimental framework to build practical, formally verified, cluster management controllers.
lorin/tla-linearizability
Reading the linearizability paper with TLA+
uw-unsat/yggdrasil
xlab-uiuc/openctest
Testing Configuration Changes in Context to Prevent Production Failures
tangruize/SandTable
Scalable Distributed System Model Checking with Specification-Level State Exploration
jeffa5/automerge-model-checker
Model checking Automerge and applications
cwi-swat/rebel2