machine learning

• decision tree
  
• linear regression
  
• feedforward neural network
  
• convolutional neural network
  
• conv gan with pytorch
  
• n-gram language model
  
• hidden markov model
  

the most up to date ones are (also open source, the first has a huuge community!):

• zhang dive into deep learning
  
• probabilistic machine learning by murphy
  

the most rigorous ones include:

• svm steinwart
  
• elements of statistical learning
  

less rigorous (i think?), but still rigorous:

• mathematics for machine learning
  
• pattern recognition and machine learning bishop
  
• deep learning architectures a mathematical approach
  

others:

• artificial intelligence a modern approach norvig