Sayantan Khan's repositories
twitter_ip_bot
This bot specifically monitors your public ip address every few minutes, and if changed, posts the new ip address on twitter
android_sl4a
A collection of various useful android scripts
proxy_switcher
An automated proxy switcher for Ubuntu and other GNOME based distros
emacs-dashboard
An extensible emacs dashboard
ProvingGround
Proving Ground: Tools for Automated Mathematics
blog-source
The markdown files that generate my blog and website
dotfiles-stowed
Collection of dotfiles
emacs-dependencies
Auxiliary repository to store emacs packages required by Lean Emacs mode
kvpy-2016-algebra
A repository containing all the work I do on my algebra project in the summer of 2016
kvpy-2016-fourier-analysis
A repository containing notes of all the fourier analysis I do in the summer of 2016
kvpy_report_2015
A modified report just for the mathematics
lean2-aur
A static copy of version 2 of Lean Theorem Prover for install on Arch Linux
PokemonGoAssistant
A Pokemon Go assistant that uses the unofficial API
summer2017
A summary of the math I do in summer of 2017
tikzcd-editor
A simple visual editor for creating commutative diagrams.