Pinned Repositories
fstar-type-checker
An external type-checker for the fstar language
lpfstar
shaolintl's Repositories
shaolintl/fstar-type-checker
An external type-checker for the fstar language
shaolintl/AUP-CS3053-DS
shaolintl/canvas-lms
The open LMS by Instructure, Inc.
shaolintl/cs3051
shaolintl/debian-conf
shaolintl/deon20
shaolintl/dm1
shaolintl/docker
shaolintl/dotfiles-i3
My Debian 9 config [i3wm, URxvt, tmux, zsh, rofi, cmus, irssi, vifm, mutt, feh, mpv, newsbeuter]
shaolintl/ex1-template
shaolintl/gitpod-cs3053
shaolintl/hw-sinatra-saas-hangperson
shaolintl/irina
shaolintl/jekyll-starter
shaolintl/jurix24short-Translation
shaolintl/mywebsite
shaolintl/page
shaolintl/ruby-sample
shaolintl/simple-node
shaolintl/slack_attendance_parser
shaolintl/sp18
shaolintl/Spring2017_ProfFosterProvost
Introduction to Data Science
shaolintl/test
shaolintl/test3
shaolintl/tmp
shaolintl/todelete
shaolintl/typo
Typo is the oldest and most powerful Ruby on Rails blogware, providing custom templates, powerful drag and drop plugins API, advanced SEO capabilities, XMLRPC API and many more.
shaolintl/vue-webpack4-template
VueJs template using Webpack 4
shaolintl/xmonad-config
shaolintl/xmonad-ubuntu-conf
My xmonad config for Ubuntu versions from 20.04 all the way back to 12.04! Including package list, config files, and instructions.