opt-pan / penpa-editLinks
☆29Updated last year
Alternatives and similar repositories for penpa-edit
Users that are interested in penpa-edit are comparing it to the libraries listed below
Sorting:
- an automated solver for problems of competitive programming☆151Updated 3 years ago
- Competitive Programming Language MM☆24Updated 11 months ago
- ☆31Updated last month
- ☆77Updated 2 years ago
- ☆32Updated 6 years ago
- Competitive programming library for Rust☆56Updated 2 years ago
- SATySFiを学ぶためのドキュメント(作成中)☆20Updated 4 years ago
- Web rendering engine for mathematical formulae☆28Updated 3 years ago
- 競技プログラミング用共通ライブラリ☆46Updated 2 years ago
- A perfect player for Dobutsu-Shogi☆79Updated last week
- Language for libraries used in competition programming☆40Updated 3 years ago
- Playing and editing puzzles by Javascript☆18Updated 6 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Updated 3 years ago
- 6x6-reversi oracle is a "perfect" player for reversi using 6x6 board☆58Updated 3 years ago
- えびちゃんのライブラリです。☆22Updated last year
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- ☆20Updated 2 months ago
- ☆17Updated last year
- アスキードワンゴで出版予定の構 文解析本に関するリポジトリ☆125Updated last month
- Stories around 2000 letters☆29Updated 2 years ago
- Minimum source repository to build Japanese TeX processing tools☆24Updated 3 weeks ago
- AtCoder's rating and performance chart. (no longer maintained)☆15Updated 2 years ago
- swiss army knife for everything you do not want to do☆84Updated 3 years ago
- ac-predictor(UserScript)のソースコード☆26Updated 4 years ago
- Japanese translation for the "TeX Live Guide"☆26Updated 5 months ago
- a crate to swap values between possibly-overlapping references☆23Updated 3 years ago
- Create a slide with SATySFi!☆55Updated 2 years ago
- Defines fundamental data types and functions☆10Updated 3 months ago
- Package manager for SATySFi☆47Updated last year
- pLaTeX community edition☆49Updated 2 weeks ago