Popular repositories Loading

1. Metis Metis Public

   Forked from sbu-fsl/Metis

   Metis: File System Model Checking via Versatile Input and State Exploration (FAST '24)

   C

2. grpc-go grpc-go Public

   Forked from grpc/grpc-go

   The Go language implementation of gRPC. HTTP/2 based RPC

   Go

3. go-zero go-zero Public

   Forked from zeromicro/go-zero

   A cloud-native Go microservices framework with cli tool for productivity.

   Go

4. ripgrep ripgrep Public

   Forked from BurntSushi/ripgrep

   ripgrep recursively searches directories for a regex pattern while respecting your gitignore

   Rust

5. clap clap Public

   Forked from clap-rs/clap

   A full featured, fast Command Line Argument Parser for Rust

   Rust

6. nushell nushell Public

   Forked from nushell/nushell

   A new type of shell

   Rust