Pinned Loading

1. ut-khanlab/master_thesis_template_for_typst ut-khanlab/master_thesis_template_for_typst Public

   Writing in typst, thesis template

   Typst 52 6

2. homotopy-io/homotopy-rs homotopy-io/homotopy-rs Public

   A Rust/WASM implementation of homotopy.io

   Rust 109 9

3. typst_slide_template typst_slide_template Public

   Typstのslide用テンプレート

   Typst 8

4. lean4-devcontainer-template lean4-devcontainer-template Public

   A minimal Lean 4 development environment using VSCode DevContainer.

   Dockerfile

5. dw-labs-org/kfilter dw-labs-org/kfilter Public

   Kalman Filter Implementation in rust

   Rust 26 8

6. attitude-converter attitude-converter Public

   Interactive 3D rotation converter: Quaternion ⇔ Euler ⇔ MRP ⇔ Axis-Angle - Rust/WASM + Next.js

   TypeScript 1