Plfa Zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Unicode Fonts | 215 | 7 months ago | 15 | Emacs Lisp | ||||||
| Configure Unicode fonts for Emacs | ||||||||||
| Plfa Zh | 165 | a year ago | 13 | cc-by-4.0 | Haskell | |||||
| 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版 | ||||||||||
| Cheatsheet | 140 | 2 years ago | 3 | TeX | ||||||
| Pretty cheat sheets, or ``reference cards'', obtainable from Org files. | ||||||||||
| Pretty Mode | 101 | 3 years ago | 31 | other | Emacs Lisp | |||||
| Redisplay parts of the Emacs buffer as pretty symbols. | ||||||||||
| Company Emoji | 84 | 8 months ago | 4 | Emacs Lisp | ||||||
| company-mode backend for emoji | ||||||||||
| Typoel | 82 | 4 years ago | 5 | Emacs Lisp | ||||||
| Emacs extension for typographical editing | ||||||||||
| Latex Input | 45 | 4 years ago | 7 | mit | AutoHotkey | |||||
| Enter Unicode characters using LaTeX notation | ||||||||||
| Unicode Math | 34 | 6 years ago | 2 | February 10, 2020 | 1 | Clojure | ||||
| A Clojure library designed to let you painfully write easily readable math. | ||||||||||
| Emacs Unicode Troll Stopper | 20 | 5 years ago | 3 | mit | Emacs Lisp | |||||
| Stop Unicode trolls from messing with your code. | ||||||||||
| Ucs Utils | 17 | a year ago | 3 | Emacs Lisp | ||||||
| Utilities for Unicode characters in Emacs | ||||||||||
Alternatives To Plfa ZhSelect To Compare
Alternative Project Comparisons
Popular Emacs Projects
Popular Unicode Projects
Popular Text Editors Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Ruby
Haskell
Emacs
Unicode
Travis
Bundler