santifa / pasp-mode
An Emas Major Mode for editing Answer Set Programs
☆12Updated 6 years ago
Alternatives and similar repositories for pasp-mode:
Users that are interested in pasp-mode are comparing it to the libraries listed below
- Org babel functions for prolog evaluation.☆12Updated 5 years ago
- Emacs Does Interactive Prolog☆40Updated 4 months ago
- An Emacs major mode for editing in pollen markup language☆43Updated 2 years ago
- org-babel integration with SageMath☆34Updated 4 years ago
- Quickcheck/hypothesis style testing for elisp☆58Updated 4 years ago
- Create views of the same content in two Emacs buffers☆190Updated last year
- Declarative Programming with Org Elements☆45Updated 6 years ago
- Extensions for research notes in Org mode☆65Updated 11 months ago
- Redisplay parts of the Emacs buffer as pretty symbols.☆106Updated 3 years ago
- emacs minor mode for org-mode file transclusion using embedded overlays☆71Updated 3 years ago
- Resources about implementing transclusion in Emacs☆89Updated 4 months ago
- Convert source-code buffers temporarily to Org-mode for comment editing☆54Updated 4 years ago
- A parser combinator library for Emacs Lisp, similar to Haskell's Parsec library.☆122Updated 3 years ago
- pdf-tools and org-mode integration☆31Updated 2 years ago
- Allows you to translate blocks of text within org-mode.☆47Updated 4 years ago
- Retrieve BibTeX entries from Google Scholar, ACM Digital Library, IEEE Xplore and DBLP☆106Updated 3 years ago
- Program with Personal Notation☆35Updated 5 years ago
- Convert source-code buffers temporarily to Org-mode for comment editing☆43Updated 6 years ago
- Systematic Literature Review Mode for Emacs.☆14Updated 9 years ago
- Some helpers to post from my org-mode file to Zulip☆11Updated 2 months ago
- My Emacs settings☆18Updated last year
- Self-tail recursion optimization in emacs.☆32Updated 12 years ago
- A simple Emacs mode for marking papers with Org.☆30Updated 3 years ago
- Simple extension to export snippets to org-mode and vice versa☆14Updated 4 years ago
- Sources for PhD thesis. Org-mode file, results, and figures sources.☆21Updated 5 years ago
- Completion back-ends for for math unicode symbols and latex tags☆125Updated 2 years ago
- A GNU Emacs major mode for editing BNF grammars☆46Updated 5 months ago
- AI assisted code generation/refactory in Emacs☆29Updated 4 months ago
- Submit data to Beeminder from within Emacs. Also integrates with org-mode.☆28Updated 4 years ago
- Adapting Emacs for moldable development☆110Updated 3 months ago