RaghavRoy145

RaghavRoy145's Stars

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq38813

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k255

• Delta456/box-cli-maker

  Make Highly Customized Boxes for CLI

  Language:Go52723

• google/comprehensive-rust

  This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

  Language:Rust27.4k1.6k

• InterviewReady/system-design-resources

  These are the best resources for System Design on the Internet

  15.6k1.9k

• anand-371/practice-problems

  Solved Questions from Geeks for Geeks and Leetcode

  Language:C++9

• arpit20adlakha/Data-Structure-Algorithms-LLD-HLD

  A Data Structure Algorithms Low Level Design and High Level Design collection of resources.

  1.9k377

• kubernetes-sigs/maintainers

  Tools and utilities to parse OWNERS, OWNER_ALIASES in kubernetes related github orgs

  Language:Go814

• mne-tools/mne-python

  MNE: Magnetoencephalography (MEG) and Electroencephalography (EEG) in Python

  Language:Python2.7k1.3k

• kubeshop/botkube

  An app that helps you monitor your Kubernetes cluster, debug critical deployments & gives recommendations for standard practices

  Language:Go2.1k289

• jina-ai/jina

  ☁️ Build multimodal AI applications with cloud-native stack

  Language:Python20.9k2.2k

• fatih/vim-go

  Go development plugin for Vim

  Language:Vim Script16k1.4k

• pesos/grofer

  A system and resource monitoring tool written in Golang!

  Language:Go34454