Pinned Loading

1. verified-mbse verified-mbse Public

   Formally verified MBSE framework in Lean 4 — dependent type semantics for SysML v2 / KerML with V&V matrix completeness by type checking

   Lean 2

2. ut-khanlab/master_thesis_template_for_typst ut-khanlab/master_thesis_template_for_typst Public

   Writing in typst, thesis template

   Typst 53 6

3. homotopy-io/homotopy-rs homotopy-io/homotopy-rs Public

   A Rust/WASM implementation of homotopy.io

   Rust 117 10

4. typst_slide_template typst_slide_template Public

   Typstのslide用テンプレート

   Typst 9

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

   Kalman Filter Implementation in rust

   Rust 26 8

6. plotters-rs/plotters plotters-rs/plotters Public

   A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

   Rust 4.6k 316