中文
Tools

LeanType

LeanBitLab/LeanType

An open-source Android keyboard built on HeliBoard, adding AI proofreading and translation, on-device Whisper voice typing, handwriting, OCR, and extensive layout and theming options.

Topics