Jeden Skill in Manus ausführen
mit einem Klick

Jeden Skill in Manus mit einem Klick ausführen

EgbertRijke

GitHub-Creator-Profil

EgbertRijke

Repository-Ansicht von 1 gesammelten Skills in 1 GitHub-Repositories.

github/EgbertRijke größtes Repository: HoTT-Rosetta

gesammelte Skills

1

Repositories

1

aktualisiert

2026-06-07

Repository-Karte

Wo die Skills liegen

Top-Repositories nach gesammelter Skill-Anzahl, mit ihrem Anteil an diesem Creator-Katalog und ihrer Berufsverteilung.

1 Skills · 2026-06-07

Softwareentwickler

1 Berufskategorien · 100% klassifiziert

Repository-Explorer

Repositories und repräsentative Skills

Creator/Repository/Skill

1 Skills30aktualisiert 2026-06-07

100% des Creators

Skill

Beruf

Beschreibung

Aktualisiert

hott-rosetta-translation

Softwareentwickler

Translate LaTeX sources in book/ into literate Agda Markdown files in src/ for HoTT-Rosetta. Use when creating chapter, section, or exercise .lagda.md files from the book sources, preserving repository naming, module, markdown, and Agda conventions.

1 von 1 Repositories angezeigt

Alle Repositories angezeigt

Jeden Skill mit einem Klick ausführen