Linking pages
- GitHub - enomsg/vim-haskellConcealPlus: Extended Haskell Conceal feature for Vim https://github.com/enomsg/vim-haskellconcealplus 82 comments
- GitHub - dtinth/comic-mono-font: A legible monospace font... the very typeface you’ve been trained to recognize since childhood https://github.com/dtinth/comic-mono-font 51 comments
- GitHub - coq-community/vsc-conceal: Prettify Symbols Mode for Visual Studio Code [maintainer=@rtetley] https://github.com/coq-community/vsc-conceal 6 comments
- GitHub - bartp5/libtexprintf: Formatted Output with tex-like syntax support https://github.com/bartp5/libtexprintf 0 comments
- GitHub - Jolg42/awesome-typography: ✏︎ Curated list about digital typography 🔥 https://github.com/Jolg42/awesome-typography 0 comments
- GitHub - cpitclaudel/company-coq: A Coq IDE build on top of Proof General's Coq mode https://github.com/cpitclaudel/company-coq/ 0 comments