1,467 skills found · Page 5 of 49
psychon / X11rbX11 bindings for the rust programming language, similar to xcb being the X11 C bindings
sioodmy / TodoSimple todo cli program written in rust
emabee / Flexi LoggerA flexible logger for rust programs that can write to stderr, stdout, and/or to log files
Rydgel / Monkey RustAn interpreter for the Monkey programming language written in Rust
Ackee-Blockchain / TridentRust-based framework to Fuzz Solana programs, designed to help you ship secure code.
newca12 / Awesome Rust Formalized ReasoningAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
AeneasVerif / EurydiceEurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
ClueLang / ClueC/Rust like programming language that compiles into Lua code
Qv2ray / V2ray RustAn Opinionated Lightweight Implementation of V2Ray, in Rust Programming Language
RustDT / RustDTRustDT is an Eclipse based IDE for the Rust programming language:
rust-lang-ja / The Rust Programming Language JaRust文書の【旧】和訳レポジトリ → 最新版はこちら： https://github.com/rust-lang-ja/book-ja
albertsgarde / RustorioThe first game written and played entirely in Rust's type system. Not only do you play by writing Rust code, but the rules of the game are enforced by the Rust compiler. If you can write the program so it compiles and doesn't panic, you win!
suharev7 / Clickhouse RsAsynchronous ClickHouse client library for Rust programming language.
Kha / ElectrolysisSimple verification of Rust programs via functional purification in Lean 2(!)
willcrichton / TyradeA pure functional language for type-level programming in Rust
DualHorizon / BlackpillA Linux kernel rootkit in Rust using a custom made type-2 hypervisor, eBPF XDP and TC programs
aiscriptdev / AiscriptAIScript is a unique combination of interpreter programming language and web framework, both written in Rust, designed to help developers build AI applications effortlessly.
jack1232 / Wgpu Step By StepTutorial: Rust wgpu graphics programming on native devices and the web.
hello-rust / Show🍿 Show notes, code, and future topic ideas for "Hello Rust!", a YouTube channel about the Rust programming language.
srijs / Rust Aws LambdaSupport for running Rust programs on AWS Lambda
