A semantic slicing tool for Rust crates that extracts minimal subsets based on actual usage.

Project Goal coordination repository for expansion of the Rust Reference

openhitls

LLM training in simple, raw C/CUDA, migrated into Rust

Aspect-oriented programming in Rust

Empowering everyone to build reliable and efficient software.

Trusted toolchain for end-to-end development, build, check, and test of Rust at scale

insert inlay_hints of `rust-analyzer` into Rust code

TXL programming language compiler/interpreter

Wrapper of txl for Rust

Ownership analysis that helps translating C to Rust

A fast and safe implementation of stackful coroutines in Rust

🦀️

[ICSE 2021] - InferCode: Self-Supervised Learning of Code Representations by Predicting Subtrees

An incremental parsing system for programming tools

IST'21 & SANER'22: Semantic-Preserving Program Transformations

website for setflags

A tool to provide the graph representation of the source code based on the paper: "Learning to Represent Program with Graph, ICLR'18"