GOSIM Spotlight 2025

Rust

2025年5月13-14日

荷兰乌特勒支

祝贺入选的 10 个项目！
来 Spotlight 展示展台了解他们的项目，地点在 RustWeek 2025. 与会者还可以在以下日期聆听他们的闪电演讲： 5月13-14日.

GOSIM Spotlight 2025: Rust — 入围项目

通过 GOSIM Spotlight 计划亲身体验技术的未来，展示与各会议方向一致的卓越创新。该项目展示了突破边界、激发创造力并展现实际影响力的开创性开源项目。

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