jaher

Google

Pinned Repositories

awesome-distributed-systems
A curated list to learn about distributed systems
0 0 00
Basic-Tutorials
basic tutorial collection
0 0 00
DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Language:TLA0 0 00
otp
Erlang/OTP
Language:Erlang0 0 00
Papers-Literature-ML-DL-RL-AI
Highly cited and useful papers related to machine learning, deep learning, AI, game theory, reinforcement learning
0 0 00
rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++0 0 00
testing-distributed-systems
Curated list of resources on testing distributed systems
Language:HTML0 0 00

jaher's Repositories

jaher/awesome-distributed-systems
A curated list to learn about distributed systems
0 0 00
jaher/Basic-Tutorials
basic tutorial collection
0 0 00
jaher/DrTLAPlus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
Language:TLA0 0 00
jaher/otp
Erlang/OTP
Language:Erlang0 0 00
jaher/Papers-Literature-ML-DL-RL-AI
Highly cited and useful papers related to machine learning, deep learning, AI, game theory, reinforcement learning
0 0 00
jaher/rocksdb
A library that provides an embeddable, persistent key-value store for fast storage.
Language:C++0 0 00
jaher/testing-distributed-systems
Curated list of resources on testing distributed systems
Language:HTML0 0 00