1600133971's starred repositories
playwright
Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
headless-recorder
Chrome extension that records your browser interactions and generates a Playwright or Puppeteer script.
testable-mock
换种思路写Mock，让单元测试更简单
go-mitmproxy
mitmproxy implemented with golang. 用 Golang 实现的中间人攻击（Man-in-the-middle），解析、监测、篡改 HTTP/HTTPS 流量。
playwright-cli
CLI for common Playwright actions. Record and generate Playwright code, inspect selectors and take screenshots.
deadlockempire.github.io
The Deadlock Empire: Slay dragons, learn concurrency!
awesome-playwright
A curated list of awesome tools, utils and projects using Playwright
playwright-test
Build a cross-browser end-to-end test suite with Playwright.
BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
playwright-testing-library
🔍 Find elements in Playwright with queries from Testing Library
woodpecker
兼容xray nuclei yaml格式 以及go代码格式的poc验证扫描器
sbt-jacoco
an sbt plugin for JaCoCo Code Coverage
playwright-session
Visual Debugger for Playwright automation.
TLAPLUS_DeadlockEmpire
Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC
tlaps-examples
Examples for TLAPS (TLA+ Proof System)
Tencent-Paxos-TLA
Specification of the consensus algorithm in Tencent storage system PaxosStore
paxosstore-tlaps
theorem proving of paxosstore using tlaps
jacoco4sbt
JaCoCo Code Coverage plug-in for sbt.
Jmockit-Demo
Demo for using Jmockit 1.49 and Junit5 without other frameworks