diff --git a/static-site/content/projects.jp.md b/static-site/content/projects.jp.md index 7365262..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" @@ -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." ++++ ## プロジェクトを追加する diff --git a/static-site/content/projects.md b/static-site/content/projects.md index f9da981..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" @@ -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 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 @@