Shashank Kaushik (shashk)

shashk

Geek Repo

Company:@google

Location:Seattle

Github PK Tool:Github PK Tool

Shashank Kaushik's starred repositories

professional-programming

A collection of learning resources for curious software engineers

Language:PythonLicense:MITStargazers:45696Issues:0Issues:0

learnmoderncpp-tutorial

Complete, working programs, plus Markdown sources, from the C++ tutorial hosted at learnmoderncpp.com

Language:C++License:NOASSERTIONStargazers:101Issues:0Issues:0

generative-ai-for-beginners

18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

Language:Jupyter NotebookLicense:MITStargazers:46895Issues:0Issues:0

parquet-format

Apache Parquet

Language:ThriftLicense:Apache-2.0Stargazers:1677Issues:0Issues:0

cppinsights

C++ Insights - See your source code with the eyes of a compiler

Language:C++License:MITStargazers:3878Issues:0Issues:0

iceberg

Apache Iceberg

Language:JavaLicense:Apache-2.0Stargazers:5729Issues:0Issues:0

around-dataengineering

A Data Engineering & Machine Learning Knowledge Hub

Language:PythonStargazers:1085Issues:0Issues:0

awesome-intelligence

A collaboratively curated list of awesome Open-Source Intelligence (OSINT) Resources

License:CC0-1.0Stargazers:1719Issues:0Issues:0

hermit

Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

Language:RustLicense:NOASSERTIONStargazers:1147Issues:0Issues:0

ML-YouTube-Courses

📺 Discover the latest machine learning / AI courses on YouTube.

License:CC0-1.0Stargazers:14446Issues:0Issues:0

kuduraft

A Raft Library in C++ based on the Raft implementation in Apache Kudu

Language:C++License:Apache-2.0Stargazers:113Issues:0Issues:0

python-patterns

A collection of design patterns/idioms in Python

Language:PythonStargazers:39671Issues:0Issues:0

system-design-resources

These are the best resources for System Design on the Internet

License:GPL-3.0Stargazers:14793Issues:0Issues:0

Data-Structure-Algorithms-LLD-HLD

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

License:MITStargazers:1428Issues:0Issues:0

testing-distributed-systems

Curated list of resources on testing distributed systems

Language:HTMLLicense:CC-BY-4.0Stargazers:2437Issues:0Issues:0

splinterdb

High Performance Embedded Key-Value Store

Language:CLicense:Apache-2.0Stargazers:666Issues:0Issues:0

jepsen

A framework for distributed systems verification, with fault injection

Language:ClojureStargazers:6659Issues:0Issues:0

MY_ENUM

Small c++ macro library to add compile-time introspection to c++ enum classes.

Language:C++License:MITStargazers:16Issues:0Issues:0

foundationdb

FoundationDB - the open source, distributed, transactional key-value store

Language:C++License:Apache-2.0Stargazers:14121Issues:0Issues:0

osv

OSv, a new operating system for the cloud.

Language:CLicense:NOASSERTIONStargazers:4044Issues:0Issues:0

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:1240Issues:0Issues:0

quickcheck

Automated property based testing for Rust (with shrinking).

Language:RustLicense:UnlicenseStargazers:2285Issues:0Issues:0

ivy

IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness.

Language:C++License:NOASSERTIONStargazers:222Issues:0Issues:0

PSharp

A framework for rapid development of reliable asynchronous software.

Language:C#License:MITStargazers:391Issues:0Issues:0

P

The P programming language.

Language:C#License:MITStargazers:2940Issues:0Issues:0

FluidFramework

Library for building distributed, real-time collaborative web applications

Language:TypeScriptLicense:MITStargazers:4645Issues:0Issues:0

folly

An open-source C++ library developed and used at Facebook.

Language:C++License:Apache-2.0Stargazers:27302Issues:0Issues:0

electionguard-python

A python module implementing the ElectionGuard specification. This implementation can be used to conduct End-to-End Verifiable Elections as well as privacy-enhanced risk-limiting audits.

Language:PythonLicense:MITStargazers:157Issues:0Issues:0

navi

An interactive cheatsheet tool for the command-line

Language:RustLicense:Apache-2.0Stargazers:14524Issues:0Issues:0

ML-For-Beginners

12 weeks, 26 lessons, 52 quizzes, classic Machine Learning for all

Language:HTMLLicense:MITStargazers:67647Issues:0Issues:0