aaptel / preview-latexView external linksLinks
inline latex preview for emacs using org-mode
☆17Mar 17, 2017Updated 8 years ago
Alternatives and similar repositories for preview-latex
Users that are interested in preview-latex are comparing it to the libraries listed below
Sorting:
- An Emacs utility to help you keep in touch with people☆11Feb 13, 2025Updated last year
- neo4j shell for emacs☆17Mar 12, 2021Updated 4 years ago
- Org-based emacs.d (with Pallet and req-package goodness)☆30Sep 23, 2014Updated 11 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- Transport for London meets Emacs Orgmode☆59Sep 23, 2017Updated 8 years ago
- Accompanying code for "Types and Programming Languages", ported to Standard ML☆30Jul 10, 2015Updated 10 years ago
- DO NOT FORK! This repository is outdated. Create a clean clone from https://github.com/manuel-uberti/helm-company which is the maintained…☆26Mar 19, 2016Updated 9 years ago
- Command line web search client with org, markdown, ssml, plain text output☆40Oct 23, 2018Updated 7 years ago
- [Legacy Firefox] Copy Link, Image and Table in Page as Org-mode Format!☆28Sep 28, 2021Updated 4 years ago
- second-order abstract syntax☆31Sep 15, 2021Updated 4 years ago
- Insert operators with surrounding spaces smartly. (Refactored and successor of smart-operator.el).☆24Oct 6, 2023Updated 2 years ago
- CRT Shader Effect for Windows Terminal☆10Nov 20, 2024Updated last year
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year
- Automatically play Emacs Tetris☆46Jun 9, 2018Updated 7 years ago
- Planet Emacsen: People living with the extensible, self-documenting text editor.☆54Nov 4, 2019Updated 6 years ago
- Moved to Codeberg☆30Jan 25, 2025Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- The world's worst RPN calculator, powered by XPC and Haskell☆17Sep 29, 2011Updated 14 years ago
- Extremely simple html live preview for Emacs.☆11Jun 28, 2025Updated 7 months ago
- Securely store hashed, salted passwords☆20Jun 1, 2016Updated 9 years ago
- Website for CSE230☆10Jan 29, 2016Updated 10 years ago
- Balance chemical equations☆10May 26, 2022Updated 3 years ago
- ☆15Feb 10, 2015Updated 11 years ago
- My Vim configuration☆11Sep 2, 2024Updated last year
- StumpWM Debugger☆11Apr 19, 2025Updated 9 months ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- ☆16Jun 9, 2024Updated last year
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 3 years ago
- zprint in Emacs☆10Jun 13, 2021Updated 4 years ago
- A javascript app to show your google location history as a heatmap☆22May 10, 2015Updated 10 years ago
- Partial combinatory algebras and realizability interpretations of arithmetic, in Coq.☆13Mar 28, 2017Updated 8 years ago
- A LaTeX3 meta-class for typesetting lecture notes, problem sets, and other academic documents.☆13Aug 18, 2023Updated 2 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆10Jul 31, 2025Updated 6 months ago
- Confluence Revamp'ed themes for Kodi☆16Nov 1, 2016Updated 9 years ago
- Deprecated in favor of todobackend-haskell☆10Aug 24, 2015Updated 10 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- ☆12Jul 26, 2021Updated 4 years ago
- Organizational system for a library☆11Jun 11, 2024Updated last year
- Emacs pcomplete for git☆10Jan 21, 2017Updated 9 years ago