Sheng Shen starred a repo
Formalizes finite-time blowup results for Navier-Stokes and Euler equations in Lean 4.
Sep 12, 2026
openclaw/openclawpushed 673 commits to main2a3b638
openclaw/openclaw1,032 PR updates
steipete/gifgrep11 PR updates
steipete/gifgreppushed 5 commits to main5428a59
openclaw/crabboxdeleted 51 branches
codex/artifact-nocaseglob-c396·codex/local-image-evidence1601-snapshot-c396
openclaw/crabboxpushed 84 commits to main503e80d
openclaw/crabbox128 PR updates
steipete/CodexBarpushed 38 commits to main7e310f0
openclaw/gitcrawlpushed 3 commits to refactor/tui-componentsc16cd4e
openclaw/openclawdeleted 342 branches
codex/tui-native-images·codex/test-canary-plugin-siblings
sgl-project/sglangreviewed 2 PRs
2 commented
steipete/eightctlpushed 9 commits to main2a662a5
sgl-project/sglangcommented on 4 PRs
steipete/birdclaw113 PR updates
lukas/hexapodpushed 32 commits to main4359008
rbgirshick/pv-feed-a9074342pushed 174 commits to mainaf24c1b
tobi/neohackpushed to maind8843a7
OpenHands/extensionspushed 38 commits to factory/issue-deliveryc6a23a2
OpenHands/software-agent-sdkpushed 49 commits to feat/agent-server-python-client85b8bc7
openclaw/fs-safepushed 46 commits to codex/fs-safe-audit-apicd3a12d
openclaw/clawsweeperpushed 16 commits to jesse/endor-automerge-enrolment3be6f22
openclaw/clickclackpushed 11 commits to main0cb974f
openclaw/docspushed 119 commits to main1fd9e0c
openclaw/docs14 PR updates
castorini/anserinipushed 4 commits to codex/fix-msmarco-bm25-tuning9e99d6a
VowpalWabbit/docspushed 5 commits to master1beecdb
jerryjliu/fly_ocrreleasedv0.1.0
Fly OCR: compound eyes, characters, and a fixed connectome
VowpalWabbit/vowpal_wabbitpushed 7 commits to fix/ccb-outcomes-bound85829b6
anthropics/claude-codeapproved PR#93932
openclaw/Peekaboo20 PR updates
OpenHands/extensions9 PR updates
tqchen/tvm-ffipushed 4 commits to feat/default-mutate-allow-inplacea5cb0bb
openclaw/discrawl14 PR updates
turtlesoupy/opensmash-meleereleased 4 versions
apache/tvm-ffi4 PR updates
OpenHands/automation5 PR updates
openclaw/crawlkit18 PR updates
openclaw/Peekaboodeleted 6 branches
fix/phase5-observation-file-publication-20260912·fix/phase5-dead-application-records-20260912
openclaw/Peekaboopushed 9 commits to main6916848
semyoren/Peekaboopushed 4 commits to feat/mcp-embedded-transport2569466
steipete/birdclawpushed 57 commits to maind5c6849
turtlesoupy/opensmash-meleepushed 16 commits to maind0e31d2
openclaw/crawlkitpushed 7 commits to fix/phase5-native-argumentsebd6988
PrimeIntellect-ai/prime-rlreviewed 4 PRs
1 approved · 2 commented · 1 dismissed
samsja/prime-rlpushed 3 commits to docs/examples-advanced-glm-readmesed086f6
Foundry376/Mailspringstarred
:love_letter: A beautiful, fast and fully open source mail client for Mac, Windows and Linux.·TypeScript·⭐ 17.8k
ROCm/aiteropened PR#5478
castorini/anserinicommented on PR#3429
Fixed in 1f38b0d80. Added class-level setup that creates the repository's `tmp/` directory before any test uses…
castorini/anserinireviewed PR#3429
AranKomat/sglangpushed to glm-kda-quantization-aware-fusion-20260913add2b1f
gpu-mode/kernelbotopened PR#529
OpenHands/automationcommented on issue#273: Allow selecting an agent profile per automation (not just an LLM profile)
ready-for-dev: implementing persisted per-automation agent_profile_id for create/update/read and git sync, with profile-owned agent…
SebTardif/docspushed to fix/mcp-jsonrpc-batch-limitdb4febf
openclaw/discrawlpushed 8 commits to main0cd8e98
openclaw/clawsweeperdeleted 11 branches
fix/phase5-canary-process-exit·fix/notifier-completion-ledger-batch2
apache/tvm4 PR updates
Dao-AILab/quackpushed to main745caed
jerryjliu/fly_ocrmade public
Printed-character recognition through a fixed fruit-fly connectome, with a small trained decoder,…·Python
rnavarro/discrawlpushed to fix/unavailable-marker-ttleacf7c8
openclaw/Peekaboocommented on 2 issues
#709: 4.3.0: name resolution still fails closed on a terminated LaunchServices record (follow-up to #677)·#715: 4.3.4: host-routed see refused on screen+element detection (no in-process fallback); SCK coordination blocks host capture while another Screen-Recording app is open
OpenHands/software-agent-sdkreviewed 11 PRs
recent 5: 5 commented
OpenHands/software-agent-sdkcommented on 11 PRs
openclaw/crawlbarpushed 3 commits to main08e0633
hhh2210/CodexBarpushed 2 commits to perf/fast-test-runnerc8631db
simonw/simonwillisonblogpushed to maina0dbac3
OpenHands/extensionsreviewed 26 PRs
recent 5: 5 commented
OpenHands/extensionscommented on 26 PRs
PufferAI/PufferTankpushed to 5.0240d979
OpenHands/OpenHandsreviewed 3 PRs
3 commented
OpenHands/OpenHandscommented on 3 PRs
OpenHands/OpenHandspushed 5 commits to factory/canvas-runtime-boundaries04ab28b
PufferAI/PufferLibreleased5.0-experiments
5.0 Experiments
vllm-project/vllmapproved PR#56464
PrimeIntellect-ai/prime-rlpushed 3 commits to main815d1c0
OpenHands/software-agent-sdkdeleted 4 branches
feat/release-runtime-5004·feat/runtime-session-credential
antiwork/gumroaddeleted 5 branches
gumclaw/7615-tastelint-split-pwyw-step·gumclaw/gp2573-help-article-133-pwyw-versions
antiwork/gumroadpushed 5 commits to main4f8e066
PufferAI/PufferLibpushed 7 commits to 5.08941420
PufferAI/puffer.aipushed 2 commits to 5.05ae4768
Tractables/vitripushed 4 commits to integrate-goatd-release706c34a
Bartok9/openclawpushed 3 commits to bartok9/nightly-hunt-202609124f2c641
danyaljj/homepagepushed to master4a80042
Tractables/goatdreleasedv0.2.0
The first release with library changes since 0.1.1. Nothing public was removed or renamed, so 0.1.2 code compiles unchanged, but the…
openclaw/clawrouterpushed 5 commits to main30628e0
openclaw/clawpatchpushed 7 commits to main8fdec84
steipete/summarizecreated 16 branches
tobi/omatrackopened PR#8
tobi/omatrackcreated branchfix/corner-analysis-close-zoom
openclaw/agent-skillspushed 10 commits to main57ef97c
tobi/walgitpushed 23 commits to main80e9a20
tobi/walgit7 PR updates
openclaw/clawdexpushed 12 commits to maina73c2a9
openclaw/clawdex22 PR updates
Tractables/goatddeleted 2 branches
reinsertion-budget·construction-cost
MasterSwords1/openclawpushed 3 commits to fix/144476-exec-auto-reviewer-token-cap02b2637
Tractables/goatdpushed to reinsertion-budgetfd1ede0
tqchen/tvmpushed 3 commits to ir/native-object-expr-mutator-h2003b69a56
PrimeIntellect-ai/prime-rlcommented on 2 PRs
roma-patel/roma-patel.github.iopushed to main990847d
steipete/summarizepushed 21 commits to mainb260672
lukas/hexapod-trackerpushed 3 commits to mainec39938
eferm/birdclawpushed 2 commits to feat/note-tweet-supportf4c64c9
apache/tvmcommented on issue#20327: [REFACTOR][IR] Object and expression functors
Validation for `45897c33f407e689effe7c172b26916a9a7dc9ce`: The generic `ExprFunctor` hooks are now `Dispatch_` and `DispatchDefault_`;…
PrimeIntellect-ai/verifiersdeleted branchfix/bash-edit-streamed-completions
PrimeIntellect-ai/verifierspushed to mainef47b2e
yilundu/yilundu.github.iopushed to masterfb91fa9
Tractables/vitriopened PR#49
anomalyco/opencodepushed 9 commits to v29c8a4ea
yaroslavvb/linear-influencepushed to mainec2a783
Tractables/vitricreated branchintegrate-goatd-release
openclaw/waclipushed 6 commits to main41c9cce
openclaw/wacli12 PR updates
openclaw/acpxpushed 7 commits to mainffbefbb
gadzan/acpxpushed to feat/runtime-plan-entriesa5349c3
goutamadwant/waclipushed to fix/decrypt-encrypted-message-edits60906b8
openclaw/acpx23 PR updates
Delivers a cross-platform open-source email client using Electron, React and a C++ sync engine.
Sheng Shen starred a repo
Formalizes finite-time blowup results for Navier-Stokes and Euler equations in Lean 4.