alexeevg

alexeevg's Stars

• getify/You-Dont-Know-JS

  A book series on JavaScript. @YDKJS on twitter.

  180k5.9k92933.5k

• openai/openai-cookbook

  Examples and guides for using the OpenAI API

  Language:MDX59.5k8744669.5k

• checkcheckzz/system-design-interview

  System design interview for IT companies

  21.8k976145.1k

• basarat/typescript-book

  :books: The definitive guide to TypeScript and possibly the best TypeScript book :book:. Free and Open Source 🌹

  Language:TypeScript20.8k3012592.6k

• automerge/automerge-classic

  A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.

  Language:JavaScript14.8k200276467

• hwayne/awesome-cold-showers

  For when people get too hyped up about things

  7.3k2182281

• stop-war-in-ukraine/stop-russia-it

  An open letter from IT industry specialists to protect Ukraine from information warfare. Відкритий лист спеціалістів IT-індустрії на захист України від інформаційної війни.

  7.2k493

• steshaw/plt

  Programming Language Theory λΠ

  Language:CSS5.2k27623340

• mit-pdos/noria

  Fast web applications through dynamic, partially-stateful dataflow

  Language:Rust5k11379244

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3k2734188

• lorin/resilience-engineering

  Resilience engineering papers

  2.9k1434147

• Kobzol/hardware-effects

  Demonstration of various hardware effects.

  Language:C++2.8k9515159

• asatarin/testing-distributed-systems

  Curated list of resources on testing distributed systems

  Language:HTML2.5k902224

• hacl-star/hacl-star

  HACL*, a formally verified cryptographic library written in F*

  Language:F*1.6k77229169

• vkostyukov/scalacaster

  Purely Functional Algorithms and Data Structures in Scala

  Language:Scala1.5k1287316

• goldshtn/linux-tracing-workshop

  Examples and hands-on labs for Linux tracing tools workshops

  Language:HTML1.3k825294

• spacejam/tla-rust

  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

  Language:TLA1k44326

• anishathalye/porcupine

  A fast linearizability checker written in Go 🔎

  Language:Go893241352

• achlipala/frap

  Formal Reasoning About Programs

  Language:Coq664452783

• jsoftware/jsource

  J engine source mirror

  Language:C6583918790

• ongardie/raft.tla

  TLA+ specification for the Raft consensus algorithm

  Language:TLA46421774

• informalsystems/apalache

  APALACHE: symbolic model checker for TLA+ and Quint

  Language:Scala417101.2k38

• hwayne/learntla

  A TLA+ guide

  Language:CSS278174657

• kinvolk-archives/kubernetes-the-hard-way-vagrant

  A port of Kelsey Hightower's "Kubernetes the Hard Way" tutorial to Vagrant. – By the Kinvolk team.

  Language:Shell2372118110

• manoharreddyporeddy/HackerRank-Topics

  Topics (Tutorials) from HackerRank

  210170109

• ghaiklor/awesome-internals

  A curated list of awesome resources and learning materials in the field of X internals

  1286016

• DistributedComponents/disel

  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

  Language:Coq951317

• muratdem/PlusCal-examples

  Pluscal/TLA+ modeling of distributed systems/protocols

  Language:TLA784020

• DrQz/pdq-qnm-pkg

  Pretty Damn Quick queueing-network modeling package

  Language:C21725

• rystsov/fast-jepsen

  Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time

  Language:Clojure20601