Pinned Repositories
agda-stdlib
The Agda standard library
airlines-to-china-covid-19
疫情期间的回国航班汇总
aria2_ban_thunder
Aria2 自动 ban 掉迅雷等吸血客户端的脚本
auto-complete
Emacs auto-complete package
Blog
Fanping's Awesome Blog
cal-china-x
chinese localization, prioritized holiday highlight, lunar, horoscope, zodiac, etc.
Cooker_Script
Down
Down
front_end
How-To-Recite-A-Book
jiangf13's Repositories
jiangf13/Machine-Learning
:zap:机器学习实战（Python3）：kNN、决策树、贝叶斯、逻辑回归、SVM、线性回归、树回归
jiangf13/machine-learning-for-software-engineers
A complete daily plan for studying to become a machine learning engineer.
jiangf13/salt
Software to automate the management and configuration of any infrastructure or application at scale. Get access to the Salt Open software package repository here:
jiangf13/agda-stdlib
The Agda standard library
jiangf13/airlines-to-china-covid-19
疫情期间的回国航班汇总
jiangf13/aria2_ban_thunder
Aria2 自动 ban 掉迅雷等吸血客户端的脚本
jiangf13/auto-complete
Emacs auto-complete package
jiangf13/Blog
Fanping's Awesome Blog
jiangf13/cal-china-x
chinese localization, prioritized holiday highlight, lunar, horoscope, zodiac, etc.
jiangf13/Cooker_Script
jiangf13/Down
Down
jiangf13/front_end
jiangf13/How-To-Recite-A-Book
jiangf13/Math-4GR3-Rings-and-Groups-Notes
jiangf13/MRI-Project
jiangf13/ob
my language babels
jiangf13/ob-prolog
Org babel functions for prolog evaluation.
jiangf13/OzCheatSheet
Basics of the Oz/Mozart language ^_^
jiangf13/plfa.github.io
An introduction to programming language theory in Agda
jiangf13/PyimDict
Mandarin Pyim Input Dict
jiangf13/rlcard
Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.
jiangf13/Spacemacs-rocks
Happy Hacking Emacs & Spacemacs (Simplified Chinese)
jiangf13/Thunder_Class
雷课堂大作业