zyf0726's Stars
msoos/cryptominisat
An advanced SAT solver
congy/chestnut
amedama41/okasaki
Solutions for Okasaki's "Purely functional data structures" book
Mzying2001/CefFlashBrowser
Flash浏览器 / Flash Browser
CozySynthesizer/cozy
The collection synthesizer
sosy-lab/java-smt
JavaSMT - Unified Java API for SMT solvers.
PKUFlyingPig/cs-self-learning
计算机自学指南
kobalab/Majiang
HTML5 + JavaScript で動作する麻雀アプリ「電脳麻将」
zhongxinghong/PKUAutoElective
北大选课网补退选阶段自动选课小工具
YibaiMeng/libpkuipgw
A library for accessing the Internet through Peking University's Internet service.
EvoSuite/evosuite
EvoSuite - automated generation of JUnit test suites for Java classes
nimble-code/Spin
Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.
black-desk/mahjim
a tool to generate mahjong image
OI-wiki/OI-wiki
:star2: Wiki of OI / ICPC for everyone. (某大型游戏线上攻略,内含炫酷算术魔法)
cvc5/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Z3Prover/z3
The Z3 Theorem Prover
pietrobraione/jbse
A symbolic Java virtual machine for program analysis, verification and test generation
zhengwh/captcha-tensorflow
hack captcha by cnn with tensorflow