Community Projects

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.
Anodized logo

Anodized

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.

MFEM-rs

Rust wrapper for MFEM; a free, lightweight, scalable C++ library for finite element methods.

MORK

MORK is a data transformation engine designed for applications that need to work with billions of entities efficiently. Initially designed for symbolic AI applications, to become the back for the MeTTa language (https://metta-lang.dev), it is now used by a growing list of folks in domains from genomics to financial pattern mining. MORK stores a space of S-Expressions and provides unification over atoms in the space. It can be accessed via an hyper-based HTTP server, although some users have linked it directly as a library.

pathmap

Very compact radix-256 trie with shared subtries, concurrent access API, path-algebraic ops such as union, intersection, subtract, etc., a read-only format that maps directly from a file, and a number of other features to make it effective for working with massive amounts of data.

Shizen logo

Shizen

Shizen is a tasklist/task management applicaiton and library with peer to peer synchronization and dependency chains for comprehension and visibility of currently actionable todo items

Sarekt logo

Sarekt

A bad renderer implemented with ash/vulkan in rust some years ago

Unifont-rs

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

Want to showcase your Rust project? We'd love to feature it! You can add your project in two ways:

Option 1: Use the Interactive Script (Easiest)

  1. Fork and clone the site
  2. Activate mise to get any necessary dependencies (or simply install gum)
  3. Run the script: ./scripts/add-project.sh
  4. Follow the prompts to add your project details
  5. Submit a pull request with your changes (gh pr create)

Option 2: Manual Edit

  1. Fork and Clone the tokyo-rust website repository
  2. Edit content/projects.md and content/projects.jp.md
  3. Add a new [[extra.project]] entry with your project details:
    • name: Your project name
    • url: Link to your project repository
    • logo_url: (Optional) URL to your project logo or GitHub avatar
    • description: Brief description of what your project does
  4. Submit a pull request

All projects by Tokyo Rust community members are welcome!