Plfa Zh Alternatives

《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
Suggest Alternative
Alternatives To Agda-zh/PLFA-zh
Project Name Stars Downloads Repos Using This Packages Using This Most Recent Commit Total Releases Latest Release Open Issues License Language
rolandwalker/unicode-fonts 215 0 0 over 2 years ago 0 15 Emacs Lisp
Configure Unicode fonts for Emacs
Agda-zh/PLFA-zh 165 0 0 about 3 years ago 0 13 cc-by-4.0 Haskell
《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版
alhassy/CheatSheet 140 0 0 about 4 years ago 0 3 TeX
Pretty cheat sheets, or ``reference cards'', obtainable from Org files.
pretty-mode/pretty-mode 101 0 0 almost 5 years ago 0 31 other Emacs Lisp
Redisplay parts of the Emacs buffer as pretty symbols.
dunn/company-emoji 84 0 0 over 2 years ago 0 4 Emacs Lisp
company-mode backend for emoji
jorgenschaefer/typoel 82 0 0 almost 6 years ago 0 5 Emacs Lisp
Emacs extension for typographical editing
clarkgrubb/latex-input 45 0 0 about 6 years ago 0 7 mit AutoHotkey
Enter Unicode characters using LaTeX notation
adereth/unicode-math 34 0 0 over 7 years ago 2 February 10, 2020 1 Clojure
A Clojure library designed to let you painfully write easily readable math.
camsaul/emacs-unicode-troll-stopper 20 0 0 about 7 years ago 0 3 mit Emacs Lisp
Stop Unicode trolls from messing with your code.
rolandwalker/ucs-utils 17 0 0 about 3 years ago 0 3 Emacs Lisp
Utilities for Unicode characters in Emacs
Alternatives To Agda-zh/PLFA-zh
Select To Compare


Alternative Project Comparisons
Popular Emacs Projects
Popular Unicode Projects
Popular Text Editors Categories
Related Searches
Get A Weekly Email With Trending Projects
No Spam. Unsubscribe easily at any time.
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2026 Awesome Open Source.  All rights reserved.