Ghy0202
There's no time limit, start whenever you want.
Nanjing university of science and technologyNanjing
Ghy0202's Stars
Tsunaou/NJU-DisSys-2020
NJU-DisSys-2020
pascal-lab/Tai-e
An easy-to-learn/use static analysis framework for Java
ferrocene/ferrocene
Source code of Ferrocene, safety-critical Rust toolchain
dpfried/incoder
Generative model for code infilling and synthesis
rust-corpus/qrates
A framework for large scale analysis of the Rust ecosystem.
rust-lang/unsafe-code-guidelines
Forum for discussion about what unsafe code can and can't do
rust-fuzz/trophy-case
🏆 Collection of bugs uncovered by fuzzing Rust code
jakubadamw/rutenspitz
А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
googleprojectzero/halfempty
A fast, parallel test case minimization tool.
cbeuw/rustlantis
UB-free and deterministic rustc fuzzer
immunant/c2rust
Migrate C code to Rust
CGCL-codes/HistFuzz
A practical fuzzing tool for SMT solvers
rust-lang/rustc-perf
Website for graphing performance of rustc
rust-lang/rust
Empowering everyone to build reliable and efficient software.
thepowersgang/mrustc
Alternative rust compiler (re-implementation)
rust-lang/glacier
A big 'ol pile of ICE.
foxycom/rusty-unit
RustyUnit - automated generator of test suites for Rust crates
rustsmith/rustsmith
A randomized program fuzzer for the Rust programming language
BBuf/tvm_mlir_learn
compiler learning resources collect.
rwf2/Rocket
A web framework for Rust.
tokio-rs/tokio
A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
apache/tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
FudanNLP/nlp-beginner
NLP上手教程
sunface/rust-by-practice
Learning Rust By Practice, narrowing the gap between beginner and skilled-dev through challenging examples, exercises and projects.
tikv/tikv
Distributed transactional key-value database, originally created to complement TiDB
ogham/exa
A modern replacement for ‘ls’.
image-rs/image
Encoding and decoding images in Rust
tyrchen/geektime-rust
我的极客时间 Rust 课程的代码仓库,随课程更新
exaloop/codon
A high-performance, zero-overhead, extensible Python compiler using LLVM
afterthat97/cool-compiler
Stanford CS1/CS143 Compilers Course Project - Cool compiler