Pinned Loading

1. tlaplus/tlaplus tlaplus/tlaplus Public

   TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

   Java 3.2k 280

2. gatling/gatling gatling/gatling Public

   Modern Load Testing as Code

   Scala 7k 1.2k

3. chaosblade-io/chaosblade-exec-jvm chaosblade-io/chaosblade-exec-jvm Public

   Chaosblade executor for chaos experiments on Java applications（对 Java 应用实施混沌实验的 chaosblade 执行器）

   Java 399 230

4. quickwit-oss/quickwit quickwit-oss/quickwit Public

   Cloud-native OSS search engine for observability

   Rust 11.8k 628

5. kenn-io/agentsview kenn-io/agentsview Public

   Local-first session search, analytics, insights, and token use statistics for coding agents, supporting Claude Code, Codex, and more than 50 other agents.

   Go 6.4k 678

6. tree-sitter-tars tree-sitter-tars Public

   Tree-sitter grammar for TARS IDL - High-performance RPC framework language support with multi-language bindings

   JavaScript 1 1