Discover SnowOnion/category-theory-seminar-notes-cnu-2018 Open Source

Stars
17
Rank 1,257,181 (Top 25 %)
Language
TeX
Created about 6 years ago
Updated about 6 years ago

SnowOnion

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

首师大 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.

TeX

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

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

Python

The_Science_and_Art_of_Minesweeper

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

HTML

godoogle

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

ThuHaskell2016Autumn

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

Haskell

Goraph

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

JavaScript

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

echochohoo

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

PowerShell

TeXPractice

TeX练习.

TeX

J2mConvertedTestcases

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

Java

SICP-SnowOnion

My SICP Practice

Scheme

automataprojectexam

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

HTML

mlsp-statistics

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

HTML

SnowOnion/category-theory-seminar-notes-cnu-2018

SnowOnion

Reviews

Repository Details

More Repositories