jdb19937

Corpus Hub contributor since 2026-10-18

jdb19937'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

13files

2,886lines

★ 8GitHub stars on repo

Totals across every corpus @jdb19937 appears in; a commit selected for two corpora counts once.

Selected work

GitHub ★ 8

platypii/integer-mult-bounds-lean

3869b0d7ce dft paper and blockers

13 files · 2,886 lines · IntegerMultBounds, the project root

selected · in licence reviewcorpus platypii--integer-mult-bounds-leanAPIMIT agreed 2026-10-18

[![XERJ Corpus Hub contributor](https://hub.xerj.org/contributors/jdb19937/badge.svg)](https://hub.xerj.org/contributors/jdb19937.html)

Included with the author's permission (email, 2026-10-18), under each repository's own licence, with attribution. Want it removed? Reply to the email or open an issue on xerj-org/xerj.