A small cheatsheet for AUCTeX functionality in emacs
☆9Apr 18, 2020Updated 5 years ago
Alternatives and similar repositories for auctex-cheatsheet
Users that are interested in auctex-cheatsheet are comparing it to the libraries listed below
Sorting:
- ☆12Apr 1, 2021Updated 4 years ago
- Use dabbrev-expand within isearch☆10Dec 24, 2014Updated 11 years ago
- Discussion Seminar: Philosophy of Programming Lanugages☆14Jul 20, 2014Updated 11 years ago
- Enhanced tab/window control for Firefox☆19Jul 27, 2022Updated 3 years ago
- Parse .env files in lisp! Or don't, it's up to you.☆13May 5, 2020Updated 5 years ago
- ibus-table-others☆17Feb 16, 2026Updated last month
- Fuzzy incremental searching for emacs☆27Nov 19, 2019Updated 6 years ago
- ☆16Apr 15, 2025Updated 11 months ago
- Multiple side-by-side windows support package for Emacs☆39Feb 2, 2015Updated 11 years ago
- An emacs package for creating images from source code buffers using silicon☆18Feb 17, 2025Updated last year
- For when 'M-/ M-/ M-/ C-/' gets you down☆30Feb 6, 2018Updated 8 years ago
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆39Aug 29, 2025Updated 6 months ago
- Only hosting https://doc.sagemath.org/ files. Updates to the documentation must be made with PRs to https://github.com/sagemath/sage, not…☆12Dec 27, 2025Updated 2 months ago
- Fancy replacement for zap-to-char in Emacs☆27Nov 26, 2025Updated 3 months ago
- Quick navigation between workspaces in emacs☆16Jul 27, 2020Updated 5 years ago
- Show Henkan tooltip for ddskk via posframe☆12Dec 30, 2025Updated 2 months ago
- ☆12Apr 3, 2016Updated 9 years ago
- Terminal support for `company-quickhelp'.☆14Nov 20, 2025Updated 4 months ago
- Ocamlgraph overlay for llvm☆20Apr 4, 2015Updated 10 years ago
- ☆11Oct 6, 2014Updated 11 years ago
- Collection of resources to learn about tech used in SOCR projects☆11Dec 27, 2016Updated 9 years ago
- An example web server built with OCaml and the Dream framework.☆33Aug 30, 2023Updated 2 years ago
- A simple kernel to interact with a redis database from IPython☆22Sep 25, 2017Updated 8 years ago
- LablTk, an OCaml interface for Tcl/Tk☆38Feb 20, 2026Updated last month
- Minor mode for smooth scrolling and in-place scrolling. STATUS: *STABLE*☆19Sep 14, 2024Updated last year
- A Workshops on Speculative Workflows☆10Jan 10, 2017Updated 9 years ago
- PYBOSSA command line client☆11Dec 26, 2019Updated 6 years ago
- Enables HTTP file uploads and form processing in OCaml web applications.☆14Jun 19, 2024Updated last year
- Horizontal Rulez☆13Jun 2, 2016Updated 9 years ago
- Auto-formatter for OCaml code☆11Oct 24, 2025Updated 4 months ago
- Uses the CryptoKernel library to create a modular cryptocurrency.☆12Nov 29, 2016Updated 9 years ago
- ☆10Jul 7, 2018Updated 7 years ago
- A more debatable version of Parliament.uk☆44Jun 10, 2013Updated 12 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Dec 21, 2021Updated 4 years ago
- A software framework for global sparse analyzers and their verified validators☆22Oct 25, 2017Updated 8 years ago
- command not found ("did you mean…" feature) in Eshell.☆20Nov 4, 2021Updated 4 years ago
- Topological sort algorithm☆15Jan 15, 2026Updated 2 months ago
- Smart contracts to finance and orchestrate energy payments of solar PV systems.☆11Oct 25, 2018Updated 7 years ago
- A VIM color scheme using a dark background and beautiful foreground colors.☆12Jan 5, 2014Updated 12 years ago