iamcxds / kriegspielLinks
☆10Updated 2 years ago
Alternatives and similar repositories for kriegspiel
Users that are interested in kriegspiel are comparing it to the libraries listed below
Sorting:
- A proof assistant and a dependently-typed language☆328Updated last week
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated 2 years ago
- History of type theory (Chinese).☆352Updated 4 months ago
- ntype cafe summer school resources☆142Updated last year
- notes on topos theory (Chinese)☆13Updated 10 months ago
- ☆10Updated 4 months ago
- VSCode extension for bTeX.☆20Updated last year
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated 2 years ago
- ☆50Updated last year
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆65Updated 3 months ago
- Lean 函数式编程☆39Updated 3 weeks ago
- 旋律猜谜游戏，每日更新~・Daily melody puzzle game (available in en/zh)☆61Updated 2 years ago
- A transpiler that converts TeX into Unicode (as possible).☆20Updated 4 months ago
- ☆29Updated 7 years ago
- 服务端-客户端架构的洛谷冬日绘板工具☆24Updated 3 years ago
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- ☆197Updated last year
- Chinese Translation of the Docbook Prince Version of the Complete Lojban Language☆10Updated 4 years ago
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆213Updated last week
- ☆25Updated 5 years ago
- This is the latest version of textbook《大数理论》(Googology).☆66Updated last month
- Coq集合论中文教程☆46Updated 3 years ago
- A formalization of the textbook Elements of Set Theory☆59Updated 4 years ago
- API of LuoGu☆33Updated 5 years ago
- ☆27Updated 4 months ago
- 代数基本观念☆15Updated 7 months ago
- A modern functional programming language with effect system.☆19Updated last year
- ☆13Updated 3 weeks ago
- xm 集训队☆29Updated 4 years ago
- 入墨答Rumbda, the Chinese expression of lambda calculus☆63Updated 2 years ago