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! ✈️ 🚀 ⚕️ 🏦
dafny-lang/dafny
Dafny is a verification-aware programming language
Delta456/box-cli-maker
Make Highly Customized Boxes for CLI
google/comprehensive-rust
This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.
InterviewReady/system-design-resources
These are the best resources for System Design on the Internet
anand-371/practice-problems
Solved Questions from Geeks for Geeks and Leetcode
arpit20adlakha/Data-Structure-Algorithms-LLD-HLD
A Data Structure Algorithms Low Level Design and High Level Design collection of resources.
kubernetes-sigs/maintainers
Tools and utilities to parse OWNERS, OWNER_ALIASES in kubernetes related github orgs
mne-tools/mne-python
MNE: Magnetoencephalography (MEG) and Electroencephalography (EEG) in Python
kubeshop/botkube
An app that helps you monitor your Kubernetes cluster, debug critical deployments & gives recommendations for standard practices
jina-ai/jina
☁️ Build multimodal AI applications with cloud-native stack
fatih/vim-go
Go development plugin for Vim
pesos/grofer
A system and resource monitoring tool written in Golang!