Jon Eugster
Corpus Hub contributor since 2026-10-13
Jon Eugster's work was selected for the XERJ Corpus Hub, the open reference memory AI coding agents search before they write code. When an agent meets the same problem, it gets this implementation back as a worked example, with the author and the repository attached.
1corpus
1selected commit
58files
5,042lines
★ 569GitHub stars on repo
★ 0hub stars
Totals across every corpus @joneugster appears in; a commit selected for two corpora counts once.
Selected work
GitHub ★ 569
leanprover-community/lean4game
aff9a939e1 Refactor: eliminate old infoview implementations (#492)
58 files · 5,042 lines · TypeScript · client, server, the project root
selected · in licence reviewcorpus leanprover-community--lean4gameWEBGPL-3.0lean4react
agreed 2026-10-13
Sign in with GitHub or Hugging Face to see more: every selected commit in full (commit date, every folder, licence review state, pin) and the pack builds of each corpus.
[](https://hub.xerj.org/contributors/joneugster.html)
Included with the author's permission (email, 2026-10-13), under each repository's own licence, with attribution. Want it removed? Reply to the email or open an issue on xerj-org/xerj.