☆10Jul 9, 2026Updated 3 months ago
Alternatives and similar repositories for preview-auto.el
Users that are interested in preview-auto.el are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Buffer-local emacs frames☆12Apr 15, 2026Updated 6 months ago
- Preview LaTeX math as SVG images for Org, Markdown and LaTeX buffers.☆17Updated this week
- A typechecker and lazy interpreter for System U☆12Jun 7, 2026Updated 4 months ago
- ☆13Updated this week
- An Emacs package assisting in finding repetition errors in a written text.☆17Sep 30, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Low level (C) implementation of a CEK machine with an additional "F" failure continuation supporting amb☆15Updated this week
- Mode-line attention tracker for agent-shell☆15Oct 12, 2026Updated 3 weeks ago
- Automatic differentiation in C++ with GPU support and applications to PDEs solved by ODIL☆11Oct 25, 2026Updated last week
- Extra functions for easy-kill/easy-mark.☆30Jan 8, 2026Updated 9 months ago
- Extra colors for Emacs's Info-mode☆40Sep 5, 2026Updated last month
- An extension for Emacs Agent Shell to render math equations☆20Updated this week
- Python implementation of Newton's Fractal☆11Oct 13, 2021Updated 5 years ago
- Magic editing of LaTeX tables in GNU Emacs☆30Oct 7, 2026Updated 3 weeks ago
- Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.☆19Mar 27, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- MathEconLib Lean4 project☆44Updated this week
- A Pacman implementation in Rocq, extracted to C++ via Crane.☆20Sep 10, 2026Updated last month
- Dafny examples☆10Apr 2, 2018Updated 8 years ago
- Screen locker in pure Emacs Lisp☆24Apr 26, 2023Updated 3 years ago
- Tutorial on PFSS modeling and spacecraft connectivity for the WInter 2022 PSP Scholars meeting☆17Jul 20, 2023Updated 3 years ago
- Turn an economics paper into a seminar-ready Beamer talk with a timed speaker script — conference, job-market and discussant slides. Agen…☆26Jul 20, 2026Updated 3 months ago
- Quantum circuits compiler with staging and continuations☆18Nov 19, 2024Updated last year
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 years ago
- ☆24Mar 24, 2026Updated 7 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆17Nov 11, 2021Updated 4 years ago
- Lean formalization of extended regular expressions with lookarounds☆10Oct 18, 2026Updated 2 weeks ago
- Music client for Emacs for Subsonic-compatible servers (Navidrome, Gonic, …) and Music Assistant. Plays locally, or on the server's jukeb…☆15Oct 19, 2026Updated 2 weeks ago
- 基于"https://github.com/Nyr/openvpn-install" 脚本进行的功能优化☆14Nov 30, 2022Updated 3 years ago
- Universal document viewing and editing tools for Emacs☆26May 11, 2026Updated 5 months ago
- A ruby-based workflow tool, and accounting framework, to automate: Reconcilliation, Validation, Grid-generation, and Plotting your financ…☆14Aug 10, 2026Updated 2 months ago
- SAVE YOUR EYES☆12Oct 1, 2025Updated last year
- Type-and-example directed program synthesis using example propagation, as described in Program Synthesis Using Example Propagation.☆16Jul 26, 2026Updated 3 months ago
- This emacs package implements a local minor mode that highlights occurrences of the current selected region.☆30Jun 19, 2026Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Experimental model finder/SMT solver for functional programming.☆23Jun 23, 2022Updated 4 years ago
- Sync and track changes live with overleaf and emacs!☆95Oct 2, 2026Updated last month
- Wind spacecraft IDL software☆18Oct 14, 2026Updated 2 weeks ago
- Referee report on your economics paper before a real referee sees it — verified comments and a revision plan your agents implement. Agent…☆34Sep 1, 2026Updated 2 months ago
- ☆12Jul 19, 2026Updated 3 months ago
- Continuation to Principia Rewrite☆24Updated this week
- A template for setting up a new research project for academics.☆20Jun 9, 2026Updated 4 months ago