huayaow

huayaow's Stars

• k88hudson/git-flight-rules

  Flight rules for git

  41.9k655733.2k

• microsoft/ai-edu

  AI education materials for Chinese students, teachers and IT professionals.

  Language:HTML13.5k4611372.9k

• rtyley/bfg-repo-cleaner

  Removes large or troublesome blobs like git-filter-branch does, but faster. And written in Scala

  Language:Scala11.1k106424547

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.3k1815.5k1.5k

• just-the-docs/just-the-docs

  A modern, high customizable, responsive Jekyll theme for documentation with built-in search.

  Language:SCSS7.5k624583.7k

• missing-semester-cn/missing-semester-cn.github.io

  the CS missing semester Chinese version

  Language:CSS6.2k3817928

• Keldos-Li/typora-latex-theme

  将Typora伪装成LaTeX的中文样式主题，本科生轻量级课程论文撰写的好帮手。This is a theme disguising Typora into Chinese LaTeX style.

  Language:SCSS4.8k1485309

• varunshenoy/GraphGPT

  Extrapolating knowledge graphs from unstructured text using GPT-3 🕵️‍♂️

  Language:JavaScript4.3k5528389

• spring2go/cs_study_plan

  一份硬核(hardcore)计算机科学CS自学计划，偏向软件工程和系统架构方向

  4k424479

• microsoft/restler-fuzzer

  RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

  Language:Python2.6k35490297

• anopara/genetic-drawing

  A genetic algorithm toy project for drawing

  Language:Python2.2k4810197

• uds-se/fuzzingbook

  Project page for "The Fuzzing Book"

  Language:Jupyter Notebook1.1k42101231

• nschloe/matplotx

  :bar_chart: More styles and useful extensions for Matplotlib

  Language:Python79261335

• delimitrou/DeathStarBench

  Open-source benchmark suite for cloud microservices

  Language:Lua74125168410

• FudanSELab/train-ticket

  Train Ticket - A Benchmark Microservice System

  Language:Java7026159237

• Akdeniz/google-play-crawler

  Play with Google Play API :)

  Language:Java5647094203

• nju-lug/NJUThesis

  南京大学学位论文模板

  Language:TeX455910962

• SDUOJ/OnlineJudge

  :sparkles: Open source online judge system (based on Microservice). SDUOJ 开源在线评测系统（基于微服务架构）。开源社区QQ群 808751832。示例网站 https://demo.sduoj.com

  Language:Java4457852

• EMResearch/EvoMaster

  The first open-source AI-driven tool for automatically generating system-level test cases (also known as fuzzing) for web/enterprise applications. Currently targeting whitebox and blackbox testing of Web APIs, like REST, GraphQL and RPC (e.g., gRPC and Thrift).

  Language:Kotlin4442314076

• acmsigsoft/EmpiricalStandards

  Tools and standards for conducting and evaluating research in software engineering

  Language:JavaScript291346161

• ramonpoca/ColorTools

  Tools for color management in Mac OS X and iOS, supporting Adobe Swatch Exchange and NSColorList formats

  Language:Objective-C245151719

• isa-group/RESTest

  RESTest: Automated Black-Box Testing of RESTful Web APIs

  Language:Java2061723334

• ASSERT-KTH/royal-chaos

  Chaos engineering systems invented at KTH Royal Institute of Technology. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-320638

  Language:Python13214527

• FeatureIDE/FeatureIDE

  An extensible framework for feature-oriented software development

  Language:Java129311.2k96

• fastread/src

  tools for fast reading of docs

  Language:Python498515

• Greg4cr/sbse-sigsoft-standard

  Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).

  237166

• BugsJS/bug-dataset

  BugsJS benchmark framework and data files.

  Language:Python222514

• ligurio/jenny

  Tool for generating regression tests

  Language:C15302

• dakusui/combinatoradix

  A Java library to enumerate permutations and combinations suitable for distributed executions

  Language:Java13451

• zachratliff22/CSCM-Tool

  Combinatorial Sequence Coverage Measurement Tool - command line tool for counting t-way permutations in a given test suite

  Language:Haskell5100