santifa / pasp-modeLinks
An Emas Major Mode for editing Answer Set Programs
☆12Updated 7 years ago
Alternatives and similar repositories for pasp-mode
Users that are interested in pasp-mode are comparing it to the libraries listed below
Sorting:
- Emacs Does Interactive Prolog☆41Updated 9 months ago
- Declarative Programming with Org Elements☆46Updated 6 years ago
- An Emacs major mode for editing in pollen markup language☆44Updated 2 years ago
- Quickcheck/hypothesis style testing for elisp☆59Updated 2 months ago
- pdf-tools and org-mode integration☆31Updated 3 years ago
- Emacs front end for the WebKit Inspector☆109Updated 12 years ago
- Code for interacting with longrunning processes from inside Org Mode☆14Updated 4 years ago
- Org babel functions for prolog evaluation.☆12Updated 5 years ago
- org-babel integration with SageMath☆34Updated 5 years ago
- Self-tail recursion optimization in emacs.☆32Updated 13 years ago
- Sources for PhD thesis. Org-mode file, results, and figures sources.☆21Updated 5 years ago
- emacs minor mode for org-mode file transclusion using embedded overlays☆71Updated 4 years ago
- Allows you to translate blocks of text within org-mode.☆47Updated 5 years ago
- Emacs major mode for editing J code.☆49Updated 9 months ago
- A demo exploring emacs vector capablities☆27Updated 4 years ago
- Technology enhanced learning and assessment☆18Updated 8 years ago
- shadchen is an emacs lisp pattern matching library☆49Updated 10 years ago
- Submit data to Beeminder from within Emacs. Also integrates with org-mode.☆28Updated 4 years ago
- Extensions for research notes in Org mode☆66Updated last year
- Emacs mode for highlighting weasel words☆76Updated 3 months ago
- Emacs Freex mode is a minor mode for organizing and editing a massively-hyperlinked database of your notes and ideas. It's a personal wik…☆79Updated 9 years ago
- Systematic Literature Review Mode for Emacs.☆14Updated 9 years ago
- Driver to run Racket code blocks in Org mode☆21Updated 10 years ago
- A GNU Emacs major mode for editing BNF grammars☆45Updated 10 months ago
- Convert source-code buffers temporarily to Org-mode for comment editing☆55Updated 4 years ago
- ☆30Updated 8 years ago
- Control mplayer from Emacs; mainly intended for use in transcription and note-taking.☆23Updated 9 years ago
- Contextual agenda and capture for Org-mode☆39Updated 3 years ago
- Create views of the same content in two Emacs buffers☆193Updated last year
- Resources about implementing transclusion in Emacs☆94Updated 9 months ago