Pinned

1. rust-lang/rust Public

   Empowering everyone to build reliable and efficient software.

   Rust 80.3k 10.7k

2. clap-rs/clap Public

   A full featured, fast Command Line Argument Parser for Rust

   Rust 11.1k 920

3. pacaptr Public

   Pacman-like syntax wrapper for many package managers.

   Rust 289 9

4. AdaCore/RecordFlux Public

   Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

   Ada 92 7

5. golox Public

   A VM-based interpreter for the Lox Programming Language.

   Go 7

6. BUAA-SE-Compiling/rurikawa Public

   A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。

   C# 42 7