Josua Christoph Lindemann

Josua Christoph Lindemann

Corpus Hub contributor since 2026-10-14

Josua Christoph Lindemann'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
21files
536lines
★ 1GitHub stars on repo

Totals across every corpus @ArgoJ appears in; a commit selected for two corpora counts once. Files and lines count the selected commits; each corpus indexes the whole repository at its pinned commit.

Selected work

GitHub ★ 1

ArgoJ/lyapunov-certified-imitation-learning

b908f68ad2 added a quadratic pd term instead of linea
selected commit: 21 files · 536 lines · Python · src/lcil, tests, examples

The corpus is the whole repository at the pinned commit, not only the files of the selected commit.

selected · in licence reviewcorpus argoj--lyapunov-certified-imitation-learningNETMIT agreed 2026-10-14

Not installable yet: this corpus is not in the hub registry until its licence review passes, so xerj corpus add and xerj ask cannot fetch it. It becomes installable when this card says live in the hub.

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

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