Stars
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
A curated list of Rust code and resources.
什么?你敢放心的把后背交给 AI? 我赌你不敢,那就来学学 AI 时代最安全的语言吧(Python无法战胜!)。本书拥有全面且深入的讲解、生动贴切的示例、德芙般丝滑的内容,这可能是目前最用心的 Rust 中文学习教程 / Book
a structural diff that understands syntax 🟥🟩
Let's write an OS which can run on RISC-V in Rust from scratch!
SystemVerilog parser library fully compliant with IEEE 1800-2017
An interpreter for the Monkey programming language written in Rust
A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust
A comparison of enumerations and similar features in different languages
Experimental minisat SAT solver reimplementation in Rust
Kubernetes operator for Apache Hadoop HDFS used by the Stackable Data Platform
A micro-CLI to apply tool calls from Anthropic for their text_editor_20250124 built-in computer use tool