Pinned Loading

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

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

   Rust 2.4k 169

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

   A brand-new multi-scenarios smart contract compiler framework

   Rust 77 17

3. vllm-project/vllm vllm-project/vllm Public

   A high-throughput and memory-efficient inference and serving engine for LLMs

   Python 88.5k 20.4k

4. vllm-project/vllm-ascend vllm-project/vllm-ascend Public

   Community maintained hardware plugin for vLLM on Ascend

   C++ 2.6k 2k

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

   Rust 2

6. Coq_Kalman_Filter Coq_Kalman_Filter Public

   Formal Verification of Kalman Filter Based on Coq

   Coq