Dmitrii Manik's starred repositories
what-happens-when
An attempt to answer the age old interview question "What happens when you type google.com into your browser and press enter?"
awesome-scalability
The Patterns of Scalable, Reliable, and Performant Large-Scale Systems
awesome-consensus
Awesome list for Paxos and friends
martin-lof
papers of Per Martin Löf
machinegun
Machinegun FSM processor
know-your-http-well
HTTP headers, media-types, methods, relations and status codes, all summarized and linking to their specification.
awesome-elixir-posts
Awesome Elixir Posts
milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
every-programmer-should-know
A collection of (mostly) technical things every software developer should know about
Awesome-Linux-Software
🐧 A list of awesome Linux softwares
idris-containers
Various data structures for use in the Idris Language.
awesome-idris
𝛌 Awesome Idris resources
haskell-must-watch
Huge list of videos, talks, courses for Haskell programming language.
science-based-games-list
Science-based games - a collaborative list
awesome-distributed-systems
A curated list to learn about distributed systems
awesome-functional-programming
Yet another resource for collecting articles, videos etc. regarding functional programming