chantisnake

CS PhD Candidate at BU

Pinned Repositories

a_little_toy
this is just a little toy I created to change name into name of the element
Language:Python1 1 00
AbsoluteBeginnersWin10
中文版视频点这里：http://space.bilibili.com/18340402
Language:C#146 31 043
awesome
:sunglasses: Curated list of awesome lists
11
chocolateyPackage
[deprecated] all my choco package
Language:PowerShell2 1 85
Crash-Into-Python
<"Best way to learn a language is by crashing into it" by myself> A Python Tutorial Made For My Friends.
Language:Python2 1 04
CV
My CV built with moderncv
Language:TeX00
github2choco
create and manage your choco package like insane
Language:PowerShell8 1 00
Honor-Thesis
My Honor Thesis in Graph Theory
Language:TeX00
power-theme
[deprecated, moving to https://github.com/JanJoris/oh-my-posh] a easy to use powershell theme manager
Language:PowerShell100
Lexos
Python/Flask-based website for text analysis workflow. Previous (stable) release is live at:
Language:Python118 25 68920

chantisnake's Repositories

chantisnake/AbsoluteBeginnersWin10
中文版视频点这里：http://space.bilibili.com/18340402
Language:C#146 31 043
chantisnake/github2choco
create and manage your choco package like insane
Language:PowerShell8 1 00
chantisnake/chocolateyPackage
[deprecated] all my choco package
Language:PowerShell2 1 85
chantisnake/Crash-Into-Python
<"Best way to learn a language is by crashing into it" by myself> A Python Tutorial Made For My Friends.
Language:Python2 1 04
chantisnake/a_little_toy
this is just a little toy I created to change name into name of the element
Language:Python1 1 00
chantisnake/COMP298
COMP298 homework just for easier deployment
Language:HTML1 1 0
chantisnake/configfiles
config file for vim, spacemacs, vscode, editorconfig, zsh and powershell
Language:Emacs Lisp1 2 0
chantisnake/CV
My CV built with moderncv
Language:TeX00
chantisnake/Honor-Thesis
My Honor Thesis in Graph Theory
Language:TeX00
chantisnake/ahkScripts
my ahk scripts
Language:AutoHotkey
chantisnake/browser-android-tabs
Brave Android Browser
chantisnake/ConEmu-Color-Themes
Color themes for ConEmu
Language:PowerShell1 01
chantisnake/dDynamic
a minimal dependently typed language with equality resolving at runtime
Language:Haskell0 0
chantisnake/Dvorak-QWERTY-Ctrl
A Windows counterpart to the Mac OS X "Dvorak - QWERTY ⌘" keyboard layout
chantisnake/FStar
An ML-like language aimed at program verification
Language:OCaml1 0
chantisnake/gitignore
A collection of useful .gitignore templates
1 0
chantisnake/goals-2018
clone of MITT 6.824
Language:Go
chantisnake/latex-mimosis
A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
Language:TeX1 0
chantisnake/LaTeX-Workshop
Boost LaTeX typesetting efficiency with preview, compile, autocomplete, colorize, and more.
Language:JavaScript
chantisnake/LexosWindows
windows exe and installer for [Lexos](https://github.com/WheatonCS/Lexos) project
Language:NSIS1
chantisnake/phd-thesis-template
A LaTeX / XeLaTeX / LuaLaTeX PhD thesis template for Cambridge University Engineering Department (CUED)
Language:TeX1 0
chantisnake/PSColor
Provides simple color highlighting for some PowerShell output
Language:PowerShell
chantisnake/PSGitHub
This PowerShell module contains commands to manage GitHub through its REST API.
Language:PowerShell
chantisnake/PythonZ
another gateway drug
Language:Python1 0
chantisnake/relation-algebra
Relation algebra library for Coq
Language:Coq0 0
chantisnake/test
chantisnake/test-repo
chantisnake/vim-config
just some of my vim configuration files
Language:Vim script1
chantisnake/vsc-prettify-symbols-mode
Prettify Symbols Mode for Visual Studio Code
Language:TypeScript1 0
chantisnake/vscode-ats2
ATS language support for VS Code