m00nlight / minizinc-modeLinks
Emacs mode for editing MiniZinc model file
☆12Updated 2 years ago
Alternatives and similar repositories for minizinc-mode
Users that are interested in minizinc-mode are comparing it to the libraries listed below
Sorting:
- Lists of Unicode mathematical symbols and latex commands☆35Updated 3 years ago
- A Gnus backend for Twitter☆16Updated 2 years ago
- Redisplay parts of the Emacs buffer as pretty symbols.☆106Updated 4 years ago
- An instant latex previewer for Emacs, based on xwidget and child-frame☆74Updated 5 years ago
- Functors, Monads, Categories for Emacs☆57Updated 2 years ago
- Emacs programming tool for editing strings or comments in Org mode or any other text mode☆91Updated last year
- Completion back-ends for for math unicode symbols and latex tags☆127Updated 2 years ago
- semantic code search for emacs lisp☆124Updated 2 years ago
- Systematic Literature Review Mode for Emacs.☆14Updated 9 years ago
- Emacs Lisp Foreign Function Interface☆89Updated 8 years ago
- Machine Learning in Emacs Lisp☆47Updated 8 years ago
- Dynamic modules for emacs☆78Updated 6 years ago
- Emacs bindings to ØMQ☆53Updated last year
- org-brain visualization via PyQt☆71Updated 4 years ago
- Emacs Lisp Latency Tracing for the Chromium Catapult Trace Event Format☆74Updated 4 years ago
- Replace GUI popup menu in Emacs with something more efficient☆85Updated 2 months ago
- Org links to Forge Issue buffers☆50Updated last month
- Polymode for org-mode☆61Updated 3 months ago
- Emacs major mode interface to WordNet lexical database☆51Updated 9 months ago
- Helm interface for company-mode☆29Updated last year
- A simple Org-mode interface to Toggl☆33Updated 2 years ago
- Gnus-style scoring for elfeed☆70Updated this week
- Mathpix Emacs Plugin☆102Updated 4 years ago
- Emacs interface to the `howdoi` command line tool (https://github.com/gleitz/howdoi)☆69Updated 7 years ago
- Extensions for research notes in Org mode☆66Updated this week
- Use emacsclient to load URLs.☆59Updated 13 years ago
- Declarative Programming with Org Elements☆46Updated 7 years ago
- ☆131Updated 3 years ago
- Wolfram Alpha integration☆75Updated last year
- A spacemacs layer for eww-mode.☆20Updated 4 years ago