M17n Lean

System-wide Lean input method
Alternatives To M17n Lean
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Latex Input45
4 years ago7mitAutoHotkey
Enter Unicode characters using LaTeX notation
Ipapalette37
3 years ago3mitHTML
Palette-class IPA Unicode Input Method for Mac OS
Rime Nushu19
4 years agounlicenseHaskell
Nushu input method | 𛆁𛈬𛈬𛇈𛊡 | 女书输入法
Emacs Haskell Unicode Input Method12
13 years ago1Emacs Lisp
Easy typing of Unicode symbols in Emacs, tailored for Haskell sources
Unicode Virtual Keyboard11
10 years ago2C#
Windows utility that simplifies the input of Unicode characters by displaying a handy on-demand virtual keyboard with powerful character search functionality and global hotkey support.
Latex Unicode Math Mode10
7 months agomitEmacs Lisp
Emacs minor mode for entering unicode math symbols
Vscode Generic Input Method9
a year ago3bsd-3-clauseTypeScript
Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX
Old Hangul Input Method7
2 years ago2apache-2.0JavaScript
Javascript-based IME for typing archaic Korean Hangul letters (e.g. ㅸ, ㅿ, ㅵ) easily
M17n Lean6
2 years agoPython
System-wide Lean input method
Unicode Math Input.el6
2 years agoEmacs Lisp
Insert Unicode math symbols in Emacs
Alternatives To M17n Lean
Select To Compare


Alternative Project Comparisons
Popular Input Method Projects
Popular Unicode Projects
Popular Hardware Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Unicode
Input Method