Rust Spotlight Finalists

Here are the 10 projects selected for the GOSIM Rust Spotlight 2025

Congratulations to the 10 projects selected!
Come learn about their projects at the spotlight demo booths at RustWeek 2025. Conference attendees can also listen to their lightning talks on May 13-14.

GOSIM Rust Spotlight Finalists

Witness the future of technology first-hand through the GOSIM Spotlight initiative, highlighting exceptional innovations aligned with each conference track. This program showcases pioneering open-source projects that push boundaries, inspire creativity, and demonstrate real-world impact.

AccessKit

Accessibility infrastructure for UI toolkits: AccessKit makes it easier to implement accessibility, for screen readers and other assistive technologies, in toolkits that render their own user interface elements. It provides a cross-platform, cross-language abstraction over accessibility APIs, so toolkit developers only have to implement accessibility once

Autodiff

We propose to add automatic differentiation to Rust. This would allow Rust users to compute derivatives of arbitrary functions, which is the essential enabling technology for differentiable programming. This feature would open new opportunities for Rust in scientific computing, machine learning, robotics, computer vision, probabilistic analysis, and other fields

Charon

Interface with the rustc compiler for the purpose of program verification: Charon (pronounced 'Ka-ron') extracts the complete contents of a Rust crate (and its dependencies) into a JSON file

Dagrs

A DAG engine build by Rust: Dagrs is an easy-to-use, high-performance asynchronous task programming framework written in Rust. Dagrs follows the concept of Flow based Programming, and aims to provide users with convenient programming interface

mantra

Manuels ANforderungs-TRAcing (or MANaged TRAcing): mantra is a tool for easier tracing between requirements, implementation, and tests

RMK

Rust keyboard firmware library with layers, macros, real-time keymap editing, wireless(BLE) and split support

rustc_codegen_clr

A Rust compiler backend targeting CIL(.NET IR) and C: rustc_codegen_clr is an experimental Rust compiler backend(plugin), which allows you to transpile Rust into .NET assebmlies, or C source files

Tango

Rust microbenchmarking harness based on paired-testing methodology: Introducing Tango.rs, a novel benchmarking framework that employs paired benchmarking to assess code performance. This approach capitalizes on the fact that it's far more efficient to measure the performance difference between two simultaneously executing functions compared to two functions executed consecutively

Volo

Rust RPC framework with high-performance and strong-extensibility for building micro-services. Volo is a high-performance and strong-extensibility Rust RPC framework that helps developers build microservices

Wild

A very fast linker for Linux: Wild is a linker with the goal of being very fast for iterative development