Pinned Repositories
10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
a.vim
Alternate Files quickly (.c --> .h etc)
algorithm-solution
Algorithm Design (Kleinberg Tardos 2005) - Solutions
Algs4th
My Solution of Princeton Algorithm 4th.
ama
A system to amalgamate any features you want into any language you need
aop
Aspect Oriented Programming For Golang
archie-zola
A zola theme forked from https://github.com/athul/archie
awesome-clis
Collection of my cli tools
OLL
rudeus
J0HN50N133's Repositories
J0HN50N133/10PL
10 papers that all PhD students in programming languages ought to know, for some value of 10
J0HN50N133/CodeAnalysis
Static Code Analysis
J0HN50N133/CrazyAlarm
J0HN50N133/dotfiles-1
J0HN50N133/ecnunetwork
A script to connect to the Internet at East China Normal University.
J0HN50N133/github-slideshow
A robot powered training repository :robot:
J0HN50N133/GitHub520
:kissing_heart: 让你“爱”上 GitHub,解决访问时图裂、加载慢的问题。(无需安装)
J0HN50N133/HBGen
A static blog html generator writen in haskell.
J0HN50N133/i3gopher
i3 wm helper rodent -- focus last focused window per workspace!
J0HN50N133/json-tutorial
从零开始的 JSON 库教程
J0HN50N133/Judger
Online judge sandbox based on seccomp | OnlineJudge 安全沙箱
J0HN50N133/magic-haskell
魔力haskell官方网站
J0HN50N133/magic-in-ten-mins
十分钟魔法练习
J0HN50N133/mathgenerator
A math problem generator, created for the purpose of giving self-studying students and teaching organizations the means to easily get access to high-quality, generated math problems to suit their needs.
J0HN50N133/mirai-console
mirai 的高效率 QQ 机器人控制台
J0HN50N133/NeteaseCloudMusicFlac
根据网易云音乐的歌单, 下载flac无损音乐到本地. Download the FLAC music from Internet according to your NeteaseCloudMusic playlist.
J0HN50N133/oh-my-gosh
A simple shell write in go.
J0HN50N133/PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
J0HN50N133/platform
Multi platform setup for Coq, Coq libraries and tools
J0HN50N133/PLFA-zh
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
J0HN50N133/Python-100-Days-master
python100天学习资料
J0HN50N133/Scenic
A compiler and scene generator for the Scenic scenario description language.
J0HN50N133/scheme
Write You a Scheme
J0HN50N133/ShameCom
收集校招污点公司或组织,帮助学弟学妹避雷。互联网不曾遗忘!
J0HN50N133/SICP
My sicp exercise solutions.
J0HN50N133/SimpleCompiler
DIY Compiler
J0HN50N133/StudyRepo
My learning life in ECNU
J0HN50N133/university-information
收集全国各高校招生时不会写明,却会实实在在影响大学生活质量的要求与细节
J0HN50N133/vim-easymotion
Vim motions on speed!
J0HN50N133/xv6-chinese
中文版的 MIT xv6 文档