Beast code in Giters

Gleb Alexeyev's starred repositories

openai-cookbook

Examples and guides for using the OpenAI API

Language:MDXMIT5770600

maelstrom

A workbench for writing toy implementations of distributed systems.

Language:ClojureEPL-1.0292200

stop-russia-it

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

723900

plt

Programming Language Theory λΠ

Language:CSS518100

porcupine

A fast linearizability checker written in Go 🔎

Language:GoMIT86100

system-design-interview

System design interview for IT companies

2141000

awesome-internals

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

CC0-1.012600

apalache

APALACHE: symbolic model checker for TLA+ and Quint

Language:ScalaApache-2.041700

kubernetes-the-hard-way-vagrant

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

Language:ShellApache-2.023700

noria

Fast web applications through dynamic, partially-stateful dataflow

Language:RustApache-2.0496400

jsource

J engine source mirror

Language:CNOASSERTION64600

pdq-qnm-pkg

Pretty Damn Quick queueing-network modeling package

Language:CNOASSERTION2100

resilience-engineering

Resilience engineering papers

NOASSERTION291000

hardware-effects

Demonstration of various hardware effects.

Language:C++MIT280200

typescript-book

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

Language:TypeScriptNOASSERTION2061100

linux-tracing-workshop

Examples and hands-on labs for Linux tracing tools workshops

Language:HTMLMIT125700

fast-jepsen

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

Language:ClojureApache-2.02000

automerge-classic

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

Language:JavaScriptMIT1476200

scalacaster

Purely Functional Algorithms and Data Structures in Scala

Language:Scala146500

You-Dont-Know-JS

A book series on JavaScript. @YDKJS on twitter.

NOASSERTION17808600

awesome-cold-showers

For when people get too hyped up about things

NOASSERTION726000

disel

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

Language:CoqBSD-2-Clause9300

raft.tla

TLA+ specification for the Raft consensus algorithm

Language:TLA44500

testing-distributed-systems

Curated list of resources on testing distributed systems

Language:HTMLCC-BY-4.0245200

frap

Formal Reasoning About Programs

Language:CoqNOASSERTION64600

PlusCal-examples

Pluscal/TLA+ modeling of distributed systems/protocols

Language:TLA7800

learntla

A TLA+ guide

Language:CSSCC-BY-4.027800

hacl-star

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

Language:F*Apache-2.0160400

HackerRank-Topics

Topics (Tutorials) from HackerRank

NOASSERTION21000

tla-rust

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

Language:TLA103100