Pinned Loading
-
term-rustdoc
term-rustdoc Public[WIP] A TUI for Rust docs that aims to improve the UX on tree view and generic code.
-
-
nvim-cmp-lsp-rs
nvim-cmp-lsp-rs PublicRefine nvim-cmp completion behavior by applying useful filtering and sorting for candidates from Rust Analyzer. (Won't cause side effects on other cmp sources)
Lua 50
-
tlborm
tlborm PublicForked from Veykril/tlborm
The Little Book of Rust Macros (Updated Version) 中文翻译版
5,173 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
April 2025
Created 26 commits in 5 repositories
Opened 7 pull requests in 5 repositories
os-checker/plugin-github-api
2
merged
-
bump to v0.1.2
This contribution was made on Apr 6
-
Fix: dedup repeated scheduled runs to get latest completed and success states
This contribution was made on Apr 6
os-checker/os-checker.github.io
2
merged
-
chore(diagnostics): make number cells right aligned
This contribution was made on Apr 6
-
chore(home): make header center or right aligned
This contribution was made on Apr 6
os-checker/book
1
merged
-
add Kani
This contribution was made on Apr 6
os-checker/charon-rudra
1
merged
-
Fix(Send/Sync): don't clear the mapping when filling it
This contribution was made on Apr 1
kern-crates/.github
1
merged
-
add
KMSorSMS/embassy_preempt
This contribution was made on Apr 1
Created an issue in rust-lang/rust-analyzer that received 4 comments
unresolved extern crate
for rustc private crates for 2025-03-17 nightly
rust-analyzer version: rust-analyzer 1.87.0-nightly (43a2e9d 2025-03-17) rustc version: rustc 1.87.0-nightly (43a2e9d2c 2025-03-17) editor or exten…
4
comments
Opened 9 other issues in 4 repositories
os-checker/charon-rudra
4
open
-
[SendSync] source code location is omitted
This contribution was made on Apr 3
-
[SendSync] Adt generic type behavior doesn't consider trait bound
This contribution was made on Apr 1
-
Another verion with StableMir?
This contribution was made on Apr 1
-
Charon sometimes fails to generic ullbc, but is fine to rerun and get the result
This contribution was made on Apr 1
os-checker/os-checker.github.io
2
closed
-
TreeTable quirks: content alignment needs
bodyCellContent
to be exempt from flex displayThis contribution was made on Apr 6 -
workflows 某些仓库的 success 状态显示为失败,但实际成功
This contribution was made on Apr 5
model-checking/kani
2
closed
-
cargo kani playback
generates zero test for proofThis contribution was made on Apr 5 -
rustc private crates are not recognized in
nightly-2025-03-18
toolchain by Rust-AnalyzerThis contribution was made on Apr 2
sslab-gatech/Rudra
1
open
-
I've fully ported rudra with charon-rudra, all testcases are supported
This contribution was made on Apr 1
Started 1 discussion in 1 repository
os-checker/os-checker
os-checker/os-checker
-
【第 38 周】阅读 Kani 代码和文档;os-checker 小修复
This contribution was made on Apr 6