Manusで任意のスキルを実行
ワンクリックで

ワンクリックでManusで任意のスキルを実行

EgbertRijke

GitHub クリエイタープロフィール

EgbertRijke

1 件の GitHub リポジトリにある 1 件の収集済み skills をリポジトリ単位で表示します。

github/EgbertRijke 最大リポジトリ: HoTT-Rosetta

収集済み skills

1

リポジトリ

1

更新

2026-06-07

リポジトリマップ

skills がある場所

収集済み skill 数が多いリポジトリを、このクリエイターカタログ内の比率と職業範囲とともに表示します。

1 件の skills · 2026-06-07

ソフトウェア開発者

1 件の職業カテゴリ · 100% 分類済み

リポジトリエクスプローラー

リポジトリと代表的な skills

クリエイター/リポジトリ/skill

1 件の skills302026-06-07 更新

クリエイター内の 100%

skill

職業分類

説明

更新

hott-rosetta-translation

ソフトウェア開発者

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 件中 1 件のリポジトリを表示

すべてのリポジトリを表示しました

ワンクリックで任意のスキルを実行