Name: 鄢振宇Michael Yan
Type: User
Company: Peking University
Bio: 努力活得认真有趣!
(Try my best to live my life meaningfully and fascinating!)
A student learning computer science at Nanjing University.
Location: Changping, Beijing, China
Blog: http://michael1015198808.github.io/
鄢振宇Michael Yan's Projects
基于Mirai QQ库的斗地主插件
Mirai QQ机器人框架的单词竞赛插件
A naive cmm code generator.
南京大学学位论文XeLaTeX模板
A LATEX template of NJU Thesis 2021 Version 南京大学本科生毕业论文LaTex模板 2021版
🙃 A delightful community-driven (with 1500+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
Operating System Labs @ NJU
A paper downloader plugin for chrome
Code samples from the "Python Cookbook, 3rd Edition", published by O'Reilly & Associates, May, 2013.
Python Implementation of Reinforcement Learning: An Introduction
Reinforcement Learning / AI Bots in Card (Poker) Games - Blackjack, Leduc, Texas, DouDizhu, Mahjong, UNO.
:crab: Small exercises to get you used to reading and writing Rust code!
Collection of useful scripts.
Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018
Collection of Verification Tasks
Manage and switch between multiple proxies quickly & easily.
白嫖Github Action实现贴吧自动签到
北洋园PT自动签到
use vim as IDE
The official Vim repository
Make the yanked region apparent!
:eyes: " / @ / CTRL-R
The ultimate Vim configuration: vimrc
the Yin programming language
:arrow_double_down: Dumb downloader that scrapes the web
(迫于压力,本项目停止维护,请尽快fork代码。1月1日之后删除项目)[免翻墙工具]A free and open-source youtube video proxy script [Written in PHP]
A Zotero plugin to make Todoist tasks for papers added to Zotero
Fish-like autosuggestions for zsh