Interested in programming language, distributed systems and AI security. Academic exchanges are welcome.
Repositories
CodeSentryAI/cuda-oxide
cuda-oxide is an experimental Rust-to-CUDA compiler that lets you write (SIMT) GPU kernels in safe(ish), idiomatic Rust. It compiles standard Rust code directly to PTX — no DSLs, no foreign language bindings, just Rust.
CodeSentryAI/cloud189
Cloud189 Agent Storage — secure, reliable, extensible, free cloud storage for AI agents, powered by Tianyi Cloud 189 / 天翼云盘
CodeSentryAI/Awesome-Rust-Checker
A curated list of awesome Rust checkers
CodeSentryAI/Awesome-Rust-Neural-Network
A curated collection of Rust projects related to neural networks, designed to complement "Are We Learning Yet."
CodeSentryAI/lockbud
Detect concurrency and memory bugs and possible panic locations in Rust projects
CodeSentryAI/GCatch
Statically Detecting Go Concurrency Bugs
CodeSentryAI/lockbud-backup
Detect concurrency and memory bugs and possible panic locations in Rust projects
CodeSentryAI/evolver
The GEP-Powered Self-Evolution Engine for AI Agents. Genome Evolution Protocol. | evomap.ai
CodeSentryAI/rustc_plugin
A framework for writing plugins that integrate with the Rust compiler
CodeSentryAI/gsplat
CUDA accelerated rasterization of gaussian splatting
CodeSentryAI/rustsat
This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.
CodeSentryAI/ComAir
ComAir can effectively conduct algorithmic profiling under both production-run and in- house settings.