jiangf13's repositories
Machine-Learning
:zap:机器学习实战(Python3):kNN、决策树、贝叶斯、逻辑回归、SVM、线性回归、树回归
machine-learning-for-software-engineers
A complete daily plan for studying to become a machine learning engineer.
agda-stdlib
The Agda standard library
airlines-to-china-covid-19
疫情期间的回国航班汇总
aria2_ban_thunder
Aria2 自动 ban 掉迅雷等吸血客户端的脚本
auto-complete
Emacs auto-complete package
cal-china-x
chinese localization, prioritized holiday highlight, lunar, horoscope, zodiac, etc.
Language:Emacs Lisp000
Down
Down
000
Language:TeX000
000
OzCheatSheet
Basics of the Oz/Mozart language ^_^
plfa.github.io
An introduction to programming language theory in Agda
Language:AgdaCC-BY-4.0000
rlcard
Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.
Language:PythonMIT000
Spacemacs-rocks
Happy Hacking Emacs & Spacemacs (Simplified Chinese)
000
Thunder_Class
雷课堂大作业