zyf0726

zyf0726's Stars

• msoos/cryptominisat

  An advanced SAT solver

  Language:C++814178

• congy/chestnut

  Language:Python81

• amedama41/okasaki

  Solutions for Okasaki's "Purely functional data structures" book

  Language:Standard ML201

• Mzying2001/CefFlashBrowser

  Flash浏览器 / Flash Browser

  Language:C#2.3k143

• CozySynthesizer/cozy

  The collection synthesizer

  Language:Python20918

• sosy-lab/java-smt

  JavaSMT - Unified Java API for SMT solvers.

  Language:Java17944

• PKUFlyingPig/cs-self-learning

  计算机自学指南

  Language:HTML55.4k6.7k

• kobalab/Majiang

  HTML5 + JavaScript で動作する麻雀アプリ「電脳麻将」

  Language:JavaScript589165

• zhongxinghong/PKUAutoElective

  北大选课网补退选阶段自动选课小工具

  Language:Python652234

• YibaiMeng/libpkuipgw

  A library for accessing the Internet through Peking University's Internet service.

  Language:Python103

• EvoSuite/evosuite

  EvoSuite - automated generation of JUnit test suites for Java classes

  Language:Java829340

• nimble-code/Spin

  Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

  Language:C349126

• black-desk/mahjim

  a tool to generate mahjong image

  Language:Go8113

• OI-wiki/OI-wiki

  :star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

  Language:TypeScript20.4k3.8k

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1k225

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.1k1.5k

• pietrobraione/jbse

  A symbolic Java virtual machine for program analysis, verification and test generation

  Language:Java10229

• zhengwh/captcha-tensorflow

  hack captcha by cnn with tensorflow

  Language:HTML284125