2 repositories on SrcLog
Japanese Input Method System for Linux, macOS, Neural Kana-Kanji Conversion Engine
A simple CDCL(Conflict-Driven-Clause-Learning) SAT solver in Rust.