dillsunnyb11's repositories
awesome-mac
Now we have become very big, Different from the original idea. Collect premium software in various categories.
cache-or-not-to-cache
A simple tool to simulate a Scalable Low-Latency Cache Invalidation Strategy for mobile environments.
SMT-solver
Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations of background theories such as: arithmetic, bit-vectors, arrays, and uninterpreted functions. In this repository, I will learn Z3, an efficient SMT Solver from Microsoft Research, to apply it in software verification and analysis applications.
Awesome-Profile-README-templates
A collection of awesome readme templates to display on your profile
deeplearning-models
A collection of various deep learning architectures, models, and tips
emoji-cheat-sheet
A markdown version emoji cheat sheet
heart-beating
A simple tool to simulate a simple inter-process communication protocol.
Papers-Literature-ML-DL-RL-AI
Highly cited and useful papers related to machine learning, deep learning, AI, game theory, reinforcement learning
practical-machine-learning-with-python
Master the essential skills needed to recognize and solve complex real-world problems with Machine Learning and Deep Learning by leveraging the highly popular Python Machine Learning Eco-system.
semisup-adv
Semisupervised learning for adversarial robustness https://arxiv.org/pdf/1905.13736.pdf