@SnowOnion
github

SnowOnion

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

category-theory-seminar-notes-cnu-2018

首师大 2018 范畴论讨论班笔记 | Notes for CATegory theory seminar held in Capital Normal University (首都师范大学), Beijing during 2018 autumn. Pictures, LaTeX docs and PDF docs inside.
TeX
17
star
2

Proof-Theory-Notes-zh_CN

我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu, THU. Parts of contents are my own supplement. The mistakes, if any, very likely belong to me.
TeX
10
star
3

Adao-kaomoji-for-sogou-pinyin-input-method

用电脑版搜狗拼音输入法快速输入 A 岛颜文字的方法；探索以颜文字为代表的快捷消息的管理方法论 ( ﾟ∀。)
Python
9
star
4

The_Science_and_Art_of_Minesweeper

扫雷的科学与艺术（未完成）。Try to solve minesweeper game automatically, efficiently (not yet succeeded). 踩地雷的科學與藝術（未完成）。
HTML
8
star
5

godoogle

godoogle := Hoogle for Godoc / 通过函数签名（输入输出类型）搜索 Go API。
Go
5
star
6

ThuHaskell2016Autumn

Some course materials for Functional Programming in Haskell, THU 2016 Autumn
Haskell
4
star
7

Goraph

Game of Go on arbitrary planar graph / 任意「可平面图」上的围棋游戏。
JavaScript
4
star
8

ATPPFHS

Automated Theorem Prover for Propositional logic by Forward proof search in Hilbert-style axiomatic System implemented in HaSkell. Inefficient by fate. Just wanna visualize the craziness of deriving theorems in Hilbert-style axiomatic System.
Haskell
4
star
9

echochohoo

A command line utility. echochohoo "echo" == "echochohoo". For bash and zsh. Chinese name: 余音绕梁音绕梁绕梁梁。
PowerShell
1
star
10

TeXPractice

TeX练习.
TeX
1
star
11

J2mConvertedTestcases

For certain reason, convert some JUnit format testcase into "main method format". Here's the result.
Java
1
star
12

SICP-SnowOnion

My SICP Practice
Scheme
1
star
13

automataprojectexam

Automatically exported from code.google.com/p/automataprojectexam 这个项目是清华大学 MSE09级 自动机与形式逻辑课程的大作业项目，收录各组的大作业
HTML
1
star
14

mlsp-statistics

游戏解说、视频制作者「满楼水平」（A.K.A. 撒神、撒萌萌）的 DotA 1 视频数据，以及在其上做的统计汗挖掘
HTML
1
star