Hitoshi Togasaki

karukan. Japanese Input Method System for Linux, macOS, Neural Kana-Kanji Conversion Engine

pedaru. Pedaru, A cross-platform desktop PDF reader with Gemini translation

kanpyo. Japanese Morphological Analyzer written in Rust

togasat. A Header-Only CDCL SAT Solver for Programming Contest

screwsat. A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.

procon-gardener. Archive your accepted code

monkey-json. A hobby project to write JSON parser from the scratch

goforces. goforces is go package for the codeforces api

spoterm. 🎵 Playing Spotify on your Terminal 💻

cpm. A tool for managing competitive programming problems

vn. vn is terminal tool to help people learn English

dotfiles. my dotfiles

bullsat. C++

codeforces-problems. Problem maneger for Codeforces user

gatosat. A CDCL SAT solver written in Golang(Go).

atcoder-sample-downloder. Download sample test cases of AtCoder problems

NLP100knock. NLP100本ノック(http://www.cl.ecei.tohoku.ac.jp/nlp100/)

elasticsearch-sudachi-experiment. Dockerfile

wikidata-grep. Fast grep for Wikidata JSON dumps: match entities by their claims, and by graph reachability

talks.

google-hash-code-practice-2020. Rust

procon-archive. Rust

pe. pe is a commnad line tool to pronunce an english word.

resume. Shell

Hypersonic. https://www.codingame.com/contests/hypersonic