SnowOnion

a.k.a. Sonion Lee

Cyber Dining Hall

Pinned Repositories

Adao-kaomoji-for-sogou-pinyin-input-method
用电脑版搜狗拼音输入法快速输入 A 岛颜文字的方法；探索以颜文字为代表的快捷消息的管理方法论 ( ﾟ∀。)
Language:Python9 2 00
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.
Language:Haskell4 2 00
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.
Language:TeX17 4 01
godoogle
Godoogle is a Go API search engine, which allows you to search by approximate function type signature, including generics. “Hoogle for Godoc”. / 通过函数签名（输入输出类型）模糊搜索 Go API；支持泛型。
Language:Go5 1 01
Goraph
Game of Go on arbitrary planar graph / 任意「可平面图」上的围棋游戏。
Language:JavaScript4 3 01
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.
Language:TeX10 5 01
The_Science_and_Art_of_Minesweeper
扫雷的科学与艺术（未完成）。Try to solve minesweeper game automatically, efficiently (not yet succeeded). 踩地雷的科學與藝術（未完成）。
Language:HTML8 3 11
ThuHaskell2016Autumn
Some course materials for Functional Programming in Haskell, THU 2016 Autumn
Language:Haskell41

SnowOnion's Repositories

SnowOnion/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.
Language:TeX17 4 01
SnowOnion/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.
Language:TeX10 5 01
SnowOnion/Adao-kaomoji-for-sogou-pinyin-input-method
用电脑版搜狗拼音输入法快速输入 A 岛颜文字的方法；探索以颜文字为代表的快捷消息的管理方法论 ( ﾟ∀。)
Language:Python9 2 00
SnowOnion/godoogle
Godoogle is a Go API search engine, which allows you to search by approximate function type signature, including generics. “Hoogle for Godoc”. / 通过函数签名（输入输出类型）模糊搜索 Go API；支持泛型。
Language:Go5 1 01
SnowOnion/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.
Language:Haskell4 2 00
SnowOnion/Goraph
Game of Go on arbitrary planar graph / 任意「可平面图」上的围棋游戏。
Language:JavaScript4 3 01
SnowOnion/echochohoo
A command line utility. echochohoo "echo" == "echochohoo". For bash and zsh. Chinese name: 余音绕梁音绕梁绕梁梁。
Language:PowerShell1 2 11
SnowOnion/mlsp-statistics
游戏解说、视频制作者「满楼水平」（A.K.A. 撒神、撒萌萌）的 DotA 1 视频数据，以及在其上做的统计汗挖掘
Language:HTML1 2 0
SnowOnion/agent_instrumentor
Language:Java2 0
SnowOnion/apollo
Apollo is a reliable configuration management system suitable for microservice configuration management scenarios.
Language:Java
SnowOnion/bullet
My note-taking system powered by Sphinx
Language:reStructuredText0 0
SnowOnion/Cangjie_Note
倉頡筆記——不為人知的倉頡事実
SnowOnion/CartoonGAN
Language:Lua2 0
SnowOnion/CCExpriment
Code Completion Expriment
Language:Java
SnowOnion/Devil-Tower
This repository is used for developing the game devil tower.
Language:C++2 0
SnowOnion/go
The Go programming language
Language:Go1 0
SnowOnion/gorm-playground
GORM Playground (Please Create PR for this project to report issues)
SnowOnion/graph
A library for creating generic graph data structures and modifying, analyzing, and visualizing them.
SnowOnion/IshisashiWebsite
石𫁶小站
Language:HTML1 0
SnowOnion/JakeWheat-intro_to_parsing-stack
Reorganizing Haskell ParseC tutorial https://github.com/JakeWheat/intro_to_parsing according to Haskell-Stack’s convention, using latest GHC and parsec package.
Language:Haskell2 0
SnowOnion/my_ten_years_in_alibaba
我在阿里这十年
SnowOnion/PictureMatching
Qt C++实现的王者荣耀风格的连连看程序
Language:C++
SnowOnion/ProofTheory19
2 0
SnowOnion/randoop
Automatic test generation for Java
Language:Java2 0
SnowOnion/ryoshigomokunarabe
量子五目並べ
SnowOnion/scheme.c
:whale: A Scheme interpreter without garbage collector.(a toy)
Language:C
SnowOnion/thrift-cli
Language:Haskell1 0
SnowOnion/Transcribing-Practice
Practice transcribing audios (in English and, maybe Japanese) into texts. I guess doing this can reveal my mistakes in listening, writing and even speaking.
2 0
SnowOnion/VBSAC
a value-based static analyzer for c code bug detection
Language:LLVM
SnowOnion/Yu
Yu stands for many things.
2 0