opposj@web:~$ ./activity --live

[github: live] [osu: live]UTC+08 / 2026-11-08 16:04

> whoami

opposj

A Little Mouse Belonging to ~

24 public repos39 followers

01::github

github.com/opposj ->

$ gh starred --limit 6 --sort recent

6 records / live

tlaplus/tlaplusTLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. Java / 3.2k *T-01d kagent-dev/kagentCloud Native Agentic AI | Discord: https://bit.ly/kagentdiscordGo / 4.2k *T-01d DhvanilPatel/swarm-cursorsNo description.JavaScript / 2k *T-01d Zleap-AI/SAG-WikiA lightweight knowledge base for people and agentsRust / 204 *T-01d reason-machines/reason-networkReason Network: your team's coding agents, talking to each other. The engine behind `reason network`.Rust / 1.7k *T-01d rive-app/rive-runtimeLow-level C++ runtime and renderer for Rive, the agent-native 2D and 3D engine for games, apps, and interactive UI.C++ / 1.3k *T-02d

$ gh contributions --range 1y

152 total / 0 private

commits: 114
issues: 14
pull_requests: 4
others: 20

$ gh events --public --tail 8

stdout

23:53starred tlaplus/tlaplus[STAR]23:17starred kagent-dev/kagent[STAR]22:21starred DhvanilPatel/swarm-cursors[STAR]21:02starred Zleap-AI/SAG-Wiki[STAR]21:01starred reason-machines/reason-network[STAR]22:42starred rive-app/rive-runtime[STAR]22:42starred EsotericSoftware/spine-runtimes[STAR]22:08starred guanmo-ai/design-style[STAR]

02::osu!

osu.ppy.sh/users/opposj ->

opposj
CN / ruleset: osu

global #251,573
country #4,049

pp: 3,385
accuracy: 98.08%
play_count: 20,171
bp: 180pp

$ osu recent @opposj --mode osu --include-fails

0 records / unfiltered / live

[no recent plays returned]