projects: mkovaxx

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"
@@ -14,8 +26,13 @@ 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 = "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."
++++
 
 ## プロジェクトを追加する
 

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"
@@ -15,6 +26,12 @@ 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 = "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."
 +++
 
 ## Add Your Project

static-site/templates/macros.tera.html

@@ -62,7 +62,7 @@ <h3 class="mb-3">
       <!-- Logo Column -->
       <div class="col-md-3 text-center mb-3 mb-md-0">
         <a href="{{ url }}" target="_blank" rel="noopener noreferrer" class="d-inline-block">
-          <img src="{{ logo_url }}" alt="{{ name }} logo" style="max-width: 120px; max-height: 120px; width: auto; height: auto;" class="img-fluid rounded">
+          <img src="{{ logo_url }}" alt="{{ name }} logo" style="width: 120px; height: auto;" class="img-fluid rounded">
         </a>
       </div>
       <!-- Content Column -->