David Holland
Corpus Hub contributor since 2026-10-12
David Holland'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
15files
351lines
★ 521GitHub stars on repo
★ 0hub stars
Totals across every corpus @sauclovian-g appears in; a commit selected for two corpora counts once.
Selected work
GitHub ★ 521
GaloisInc/saw-script
931a864623 crucible: Assorted other minor tidyups related to position handling.
15 files · 351 lines · Haskell · saw-central, saw-server, crucible-mir-comp
selected · in licence reviewcorpus galoisinc--saw-scriptAPIBSD-3-Clause
agreed 2026-10-12
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/sauclovian-g.html)
Included with the author's permission (email, 2026-10-12), under each repository's own licence, with attribution. Want it removed? Reply to the email or open an issue on xerj-org/xerj.