Jose-Angel Herrero Bajo's repositories
awesome-distributed-systems
A curated list to learn about distributed systems
000
Basic-Tutorials
basic tutorial collection
000
DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Language:TLA000
otp
Erlang/OTP
Language:ErlangApache-2.0000
Papers-Literature-ML-DL-RL-AI
Highly cited and useful papers related to machine learning, deep learning, AI, game theory, reinforcement learning
MIT000
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++GPL-2.0000
testing-distributed-systems
Curated list of resources on testing distributed systems
Language:HTMLCC0-1.0000