Awesome Rust and WebAssembly projects, libraries, tools, and resources

Makepad is a creative software development platform for Rust that compiles to wasm/webGL, osx/metal, windows/dx11 linux/opengl

KWin Effect makes touchpad gesture on KDE easier for human beings

Microsoft REST API Guidelines

An engine for displaying slips, the next-gen version of slides

Dr. TLA series - learn an algorithm and protocol, study a specification

[EMNLP'23, ACL'24] To speed up LLMs' inference and enhance LLM's perceive of key information, compress the prompt and KV-Cache, which achieves up to 20x compression with minimal performance loss.

AICI: Prompts as (Wasm) Programs

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

The AsyncAPI specification allows you to create machine-readable definitions of your asynchronous APIs.

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

A collection of learning resources for curious software engineers

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

LLM Chain querying a scientific Zotero library, with citations

freetar - an alternative frontend to ultimate-guitar.com

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

MLIR For Beginners tutorial

Script that organizes the Google Takeout archive into one big chronological folder

A little course to learn about some of the more obscure GHC extensions.

A tiny scalar-valued autograd engine and a neural net library on top of it with PyTorch-like API

Examples and guides for using the OpenAI API

A suite of representative serverless cloud-agnostic (i.e., dockerized) benchmarks

An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"

Collection of advice for prospective and current PhD students

A spotify daemon

vHive: Open-source framework for serverless experimentation

Diagrams visualizing the HTTP/3, HTTP/2 and HTTP/1 protocol stacks and their features

🔖 Guides, Articles, Podcasts, Videos and Notes to Build Reliable Large-Scale Distributed Systems.

The "Geek's Cookbook" is a collection of guides for establishing your own highly-available "private cloud" and using it to run self-hosted services such as GitLab, Plex, NextCloud, etc.