SnowOnion/SICP-SnowOnion

Stars
1
Language
Scheme
License
MIT License
Created almost 9 years ago
Updated almost 9 years ago

SnowOnion/SICP-SnowOnion

SnowOnion

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

My SICP Practice

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。

ThuHaskell2016Autumn

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

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.

automataprojectexam

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

mlsp-statistics

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