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:
- Competitive Programming Language MM☆24Updated last year
- ☆32Updated 6 years ago
- Competitive programming library for Rust☆56Updated 3 years ago
- an automated solver for problems of competitive programming☆151Updated 4 years ago
- 競技プログラミング用共通ライブラリ☆46Updated 2 years ago
- swiss army knife for everything you do not want to do☆85Updated 3 years ago
- A perfect player for Dobutsu-Shogi☆80Updated last week
- USI shogi engine written in Rust☆90Updated last year
- ☆78Updated 2 years ago
- ac-predictor(UserScript)のソースコード☆26Updated 4 years ago
- A Bitboard-based shogi library in Rust. Board representation, move generation/validation and time control utilities.☆49Updated 9 months ago
- 6x6-reversi oracle is a "perfect" player for reversi using 6x6 board☆58Updated 3 years ago
- Coqで様々な数学の定理を証明☆18Updated 2 years ago
- Vim syntax plugin for SATySFi typesetting system☆33Updated 4 years ago
- Web rendering engine for mathematical formulae☆28Updated 3 years ago
- a crate to swap values between possibly-overlapping references☆23Updated 3 years ago
- SATySFiを学ぶためのドキュメント(作成中)☆20Updated 4 years ago
- えびちゃんのライブラリです。☆22Updated last year
- Defines fundamental data types and functions☆10Updated 5 months ago
- アスキードワンゴで出版予定の構文解析本に関するリポジトリ☆126Updated 2 weeks ago
- A SATySFi class file for writing CS master theses at The University of Tokyo☆29Updated 7 years ago
- An experimental project for statically typed scripting language.☆62Updated 3 years ago
- Japanese translation for the "TeX Live Guide"☆26Updated 7 months ago
- Package manager for SATySFi☆48Updated 2 years ago
- ☆20Updated 4 months ago
- 記事集「オセロAIの教科書」のサンプルプログラム☆25Updated 8 months ago
- ☆32Updated 3 months ago
- 𝘾𝙤𝙢𝙢𝙖𝙣𝙙 𝙡𝙞𝙣𝙚 𝙖𝙥𝙥𝙡𝙞𝙘𝙖𝙩𝙞𝙤𝙣 𝕥𝕙𝕒𝕥 𝕔𝕠𝕟𝕧𝕖𝕣𝕥𝕤 𝕒𝕝𝕡𝕙𝕒𝕟𝕦𝕞𝕖𝕣𝕚𝕔 𝕔𝕙𝕒𝕣𝕒𝕔𝕥𝕖𝕣𝕤 𝒕𝒐 𝒗𝒂𝒓𝒊𝒐𝒖�…☆153Updated last week
- A Japanese Morphological Analyzer written in pure Rust☆26Updated 6 years ago
- Playing and editing puzzles by Javascript☆18Updated 6 years ago