From ff5f7fed52a5658b338c8d61a8ff2fb377be40a6 Mon Sep 17 00:00:00 2001 From: Mate Kovacs Date: Sat, 22 Nov 2025 18:52:51 +0900 Subject: [PATCH 1/3] add MFEM-rs --- static-site/content/projects.jp.md | 11 +++++++++++ static-site/content/projects.md | 11 +++++++++++ 2 files changed, 22 insertions(+) diff --git a/static-site/content/projects.jp.md b/static-site/content/projects.jp.md index 7365262..2f8db95 100644 --- a/static-site/content/projects.jp.md +++ b/static-site/content/projects.jp.md @@ -14,6 +14,17 @@ name = "Sarekt" url = "https://github.com/brandonpollack23/sarekt" logo_url = "https://raw.githubusercontent.com/brandonpollack23/sarekt/master/sarekt_screenshot.png" description = "ラストで実行したよくないVulkan／Ash三次元レンダラー" + +[[extra.project]] +name = "Anodized" +url = "https://github.com/mkovaxx/anodized" +logo_url = "https://raw.githubusercontent.com/mkovaxx/anodized/main/assets/logo.svg" +description = "Specifications are a common ground across correctness tools in the Rust ecosystem. Anodized provides spec annotations that are checked for syntax and type errors at compile time, and have an ergonomic and expressive syntax. Specs are checked at runtime by default. Integration with other tools like fuzzers and formal verifiers is also on the roadmap." + +[[extra.project]] +name = "MFEM-rs" +url = "https://github.com/mkovaxx/mfem-rs" +description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." +++ diff --git a/static-site/content/projects.md b/static-site/content/projects.md index f9da981..4bf69c4 100644 --- a/static-site/content/projects.md +++ b/static-site/content/projects.md @@ -15,6 +15,17 @@ name = "Sarekt" url = "https://github.com/brandonpollack23/sarekt" logo_url = "https://raw.githubusercontent.com/brandonpollack23/sarekt/master/sarekt_screenshot.png" description = "A bad renderer implemented with ash/vulkan in rust some years ago" + +[[extra.project]] +name = "Anodized" +url = "https://github.com/mkovaxx/anodized" +logo_url = "https://raw.githubusercontent.com/mkovaxx/anodized/main/assets/logo.svg" +description = "Specifications are a common ground across correctness tools in the Rust ecosystem. Anodized provides spec annotations that are checked for syntax and type errors at compile time, and have an ergonomic and expressive syntax. Specs are checked at runtime by default. Integration with other tools like fuzzers and formal verifiers is also on the roadmap." + +[[extra.project]] +name = "MFEM-rs" +url = "https://github.com/mkovaxx/mfem-rs" +description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." +++ ## Add Your Project From c9b222384fa9fff4ab29699e20474a08959c4219 Mon Sep 17 00:00:00 2001 From: Mate Kovacs Date: Sat, 22 Nov 2025 18:54:54 +0900 Subject: [PATCH 2/3] add Unifont-rs --- static-site/content/projects.jp.md | 5 +++++ static-site/content/projects.md | 5 +++++ 2 files changed, 10 insertions(+) diff --git a/static-site/content/projects.jp.md b/static-site/content/projects.jp.md index 2f8db95..9a9a10a 100644 --- a/static-site/content/projects.jp.md +++ b/static-site/content/projects.jp.md @@ -25,6 +25,11 @@ description = "Specifications are a common ground across correctness tools in th name = "MFEM-rs" url = "https://github.com/mkovaxx/mfem-rs" description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." + +[[extra.project]] +name = "Unifont-rs" +url = "https://github.com/mkovaxx/unifont-rs" +description = "Unifont provides a monochrome bitmap font that covers the entire Unicode Basic Multilingual Plane. Halfwidth glyphs are 8x16, fullwidth are 16x16 pixels. Supports #[no_std] builds." +++ diff --git a/static-site/content/projects.md b/static-site/content/projects.md index 4bf69c4..445efd3 100644 --- a/static-site/content/projects.md +++ b/static-site/content/projects.md @@ -26,6 +26,11 @@ description = "Specifications are a common ground across correctness tools in th name = "MFEM-rs" url = "https://github.com/mkovaxx/mfem-rs" description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." + +[[extra.project]] +name = "Unifont-rs" +url = "https://github.com/mkovaxx/unifont-rs" +description = "Unifont provides a monochrome bitmap font that covers the entire Unicode Basic Multilingual Plane. Halfwidth glyphs are 8x16, fullwidth are 16x16 pixels. Supports #[no_std] builds." +++ ## Add Your Project From 5845c3ca3900b241fe649b5efa577b05b64acc8c Mon Sep 17 00:00:00 2001 From: Mate Kovacs Date: Sat, 22 Nov 2025 19:16:41 +0900 Subject: [PATCH 3/3] fix template to display SVG logo correctly --- static-site/content/projects.jp.md | 25 +++++++++++++------------ static-site/content/projects.md | 23 ++++++++++++----------- static-site/templates/macros.tera.html | 2 +- 3 files changed, 26 insertions(+), 24 deletions(-) diff --git a/static-site/content/projects.jp.md b/static-site/content/projects.jp.md index 9a9a10a..f914a0b 100644 --- a/static-site/content/projects.jp.md +++ b/static-site/content/projects.jp.md @@ -3,6 +3,18 @@ title = "コミュニティプロジェクト" template = "projects.html" description = "東京Rustコミュニティメンバーが作成したプロジェクトをご覧ください！ツールやライブラリからアプリケーションや実験まで、私たちのメンバーはRustで素晴らしいものを作っています。" +[[extra.project]] +name = "Anodized" +url = "https://github.com/mkovaxx/anodized" +logo_url = "https://raw.githubusercontent.com/mkovaxx/anodized/main/assets/logo.svg" +description = "Specifications are a common ground across correctness tools in the Rust ecosystem. Anodized provides spec annotations that are checked for syntax and type errors at compile time, and have an ergonomic and expressive syntax. Specs are enforced at runtime by default. Integration with other tools like fuzzers and formal verifiers is also on the roadmap." + +[[extra.project]] +name = "MFEM-rs" +url = "https://github.com/mkovaxx/mfem-rs" +logo_url = "" +description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." + [[extra.project]] name = "Shizen" url = "https://github.com/brandonpollack23/shizen-again" @@ -15,24 +27,13 @@ url = "https://github.com/brandonpollack23/sarekt" logo_url = "https://raw.githubusercontent.com/brandonpollack23/sarekt/master/sarekt_screenshot.png" description = "ラストで実行したよくないVulkan／Ash三次元レンダラー" -[[extra.project]] -name = "Anodized" -url = "https://github.com/mkovaxx/anodized" -logo_url = "https://raw.githubusercontent.com/mkovaxx/anodized/main/assets/logo.svg" -description = "Specifications are a common ground across correctness tools in the Rust ecosystem. Anodized provides spec annotations that are checked for syntax and type errors at compile time, and have an ergonomic and expressive syntax. Specs are checked at runtime by default. Integration with other tools like fuzzers and formal verifiers is also on the roadmap." - -[[extra.project]] -name = "MFEM-rs" -url = "https://github.com/mkovaxx/mfem-rs" -description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." - [[extra.project]] name = "Unifont-rs" url = "https://github.com/mkovaxx/unifont-rs" +logo_url = "" description = "Unifont provides a monochrome bitmap font that covers the entire Unicode Basic Multilingual Plane. Halfwidth glyphs are 8x16, fullwidth are 16x16 pixels. Supports #[no_std] builds." +++ - ## プロジェクトを追加する あなたのRustプロジェクトを紹介しませんか？掲載をお待ちしています！プロジェクトは2つの方法で追加できます： diff --git a/static-site/content/projects.md b/static-site/content/projects.md index 445efd3..1ed6075 100644 --- a/static-site/content/projects.md +++ b/static-site/content/projects.md @@ -3,6 +3,17 @@ title = "Community Projects" template = "projects.html" description = "Check out projects built by Tokyo Rust community members! From tools and libraries to applications and experiments, our members are creating amazing things with Rust." +[[extra.project]] +name = "Anodized" +url = "https://github.com/mkovaxx/anodized" +logo_url = "https://raw.githubusercontent.com/mkovaxx/anodized/main/assets/logo.svg" +description = "Specifications are a common ground across correctness tools in the Rust ecosystem. Anodized provides spec annotations that are checked for syntax and type errors at compile time, and have an ergonomic and expressive syntax. Specs are enforced at runtime by default. Integration with other tools like fuzzers and formal verifiers is also on the roadmap." + +[[extra.project]] +name = "MFEM-rs" +url = "https://github.com/mkovaxx/mfem-rs" +logo_url = "" +description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." [[extra.project]] name = "Shizen" @@ -16,20 +27,10 @@ url = "https://github.com/brandonpollack23/sarekt" logo_url = "https://raw.githubusercontent.com/brandonpollack23/sarekt/master/sarekt_screenshot.png" description = "A bad renderer implemented with ash/vulkan in rust some years ago" -[[extra.project]] -name = "Anodized" -url = "https://github.com/mkovaxx/anodized" -logo_url = "https://raw.githubusercontent.com/mkovaxx/anodized/main/assets/logo.svg" -description = "Specifications are a common ground across correctness tools in the Rust ecosystem. Anodized provides spec annotations that are checked for syntax and type errors at compile time, and have an ergonomic and expressive syntax. Specs are checked at runtime by default. Integration with other tools like fuzzers and formal verifiers is also on the roadmap." - -[[extra.project]] -name = "MFEM-rs" -url = "https://github.com/mkovaxx/mfem-rs" -description = "Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods." - [[extra.project]] name = "Unifont-rs" url = "https://github.com/mkovaxx/unifont-rs" +logo_url = "" description = "Unifont provides a monochrome bitmap font that covers the entire Unicode Basic Multilingual Plane. Halfwidth glyphs are 8x16, fullwidth are 16x16 pixels. Supports #[no_std] builds." +++ diff --git a/static-site/templates/macros.tera.html b/static-site/templates/macros.tera.html index 83a62fc..aa99ba7 100644 --- a/static-site/templates/macros.tera.html +++ b/static-site/templates/macros.tera.html @@ -62,7 +62,7 @@

- {{ name }} logo + {{ name }} logo