Pinned Loading

1. kcl-lang/kcl kcl-lang/kcl Public

   KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

   Rust 1.7k 124

2. AntChainOpenLabs/Smart-Intermediate-Representation AntChainOpenLabs/Smart-Intermediate-Representation Public

   A brand-new multi-scenarios smart contract compiler framework

   Rust 72 7

3. Tiny-compiler-in-500-lines-of-Rust Tiny-compiler-in-500-lines-of-Rust Public

   Rust 2

4. rust-lang/rust rust-lang/rust Public

   Empowering everyone to build reliable and efficient software.

   Rust 99.6k 12.9k

5. rust-code-book-zh rust-code-book-zh Public

   Forked from awesome-kusion/rust-code-book-zh

   📚 《Rust 源码剖析》开源图书中文版 🇨🇳

   Rust

6. Coq_Kalman_Filter Coq_Kalman_Filter Public

   Formal Verification of Kalman Filter Based on Coq

   Coq