iamcxds / kriegspiel
☆9Updated 2 years ago
Alternatives and similar repositories for kriegspiel:
Users that are interested in kriegspiel are comparing it to the libraries listed below
- A transpiler that converts TeX into Unicode (as possible).☆19Updated last month
- A Chu Nom Standardization Project initiated by Liu(@valestanov). 一项自行发起的喃字标准化项目。Một dự án tiêu chuẩn hóa chữ Nôm của Liu.☆11Updated 3 years ago
- Sans serif font for the Xdi8 script based on Fira Sans☆9Updated 4 years ago
- A proof assistant and a dependently-typed language☆316Updated this week
- ☆11Updated 2 months ago
- History of type theory (Chinese).☆342Updated this week
- Anti-Indulged for IntelliJ Platform (AI4IJ)☆26Updated 4 years ago
- 旋律猜谜游戏,每日更新~・Daily melody puzzle game (available in en/zh)☆60Updated 2 years ago
- ntype cafe summer school resources☆138Updated 10 months ago
- ☆24Updated 5 months ago
- Chinese Translation of the Docbook Prince Version of the Complete Lojban Language☆10Updated 3 years ago
- 服务端-客户端架构的洛谷冬日绘板工具☆24Updated 3 years ago
- 有女同車《〈廣韻〉全字表》原表☆14Updated 4 months ago
- API of LuoGu☆33Updated 4 years ago
- JavaScript examples to generate the derivatives of the Qieyun system using TshetUinh.js☆45Updated 2 weeks ago
- only for 彩虹桥, use https://github.com/niltok/tesseract-lite if you want to deploy☆52Updated last year
- Yet another IDS (Ideographic Description Sequences) lists with MIT license☆108Updated 7 months ago
- 中国珂学院 奈芙莲分站☆9Updated 7 years ago
- ☆47Updated last year
- Lean 定理证明☆13Updated 4 months ago
- 代数基本观念☆14Updated last month
- Yet Another OI Archive Project Frontend☆23Updated 5 years ago
- An online tool that automatically generates phonological reconstructions of the Qieyun system, as well as extrapolated historical and mod…☆50Updated 2 weeks ago
- A bot that can monitor specify user send message to your common group☆13Updated last week
- Standardized Wu Language Method for RIME☆19Updated last year
- Luogu plugin on IntelliJ Platform☆10Updated 5 years ago
- A Brainfuck interpreter written by Brainfuck.☆56Updated 6 years ago
- A Typst template for CNOI-style statements for competitive programming. | CNOI 题面排版风格的 Typst 模板。☆22Updated last month
- Exercises and other materials for the course on FP and QuickCheck at Peking University in October 2023☆34Updated last year
- xm 集训队☆29Updated 4 years ago