SnowOnion/ThuHaskell2016Autumn

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Haskell
License
Other
Created almost 8 years ago
Updated over 7 years ago

SnowOnion/ThuHaskell2016Autumn

SnowOnion

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

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.

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.

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

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

The_Science_and_Art_of_Minesweeper

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

godoogle

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

Goraph

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

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.

echochohoo

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

TeXPractice

J2mConvertedTestcases

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

SICP-SnowOnion

My SICP Practice

automataprojectexam

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

mlsp-statistics

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