Popular repositories Loading

1. moddingtutrial moddingtutrial Public

2. rust-tensor-einsum rust-tensor-einsum Public

   Rust

3. DL_from_zero DL_from_zero Public

   Jupyter Notebook 1

4. playground_LTNtorch playground_LTNtorch Public

5. lecanim lecanim Public

   自分のノートにある定義・定理・証明を Manim + VOICEVOX で解説動画にする制作基盤（Claude Code 対応）

   Python

6. Narfi Narfi Public

   Narfi: a natural-deduction proof language and its structured math editor (by Narfidort)

   Rust