potassco-asp-course / notebooksLinks
This repository collects notebooks for the course
☆13Updated 3 months ago
Alternatives and similar repositories for notebooks
Users that are interested in notebooks are comparing it to the libraries listed below
Sorting:
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Updated 10 years ago
- Website for M-x Research Events☆18Updated 7 months ago
- snippet for docstring in numpy coding style☆16Updated 5 years ago
- Glue code between the Org, Gnus, and BBDB packages for Emacs.☆32Updated 8 years ago
- pdf-tools and org-mode integration☆31Updated 3 years ago
- DON'T PANIC (a not so useful guide to High Energy Physics software)☆13Updated 3 years ago
- org-mode + latex + docker = pdf☆35Updated 5 years ago
- ☆12Updated 4 years ago
- IPython magic in Emacs☆13Updated 6 years ago
- auto-complete sources for input of mathematical symbols and latex tags☆24Updated 10 years ago
- Git LFS for magit!☆18Updated 2 years ago
- emacs plug-in to run python code inside tex or markdown buffer☆35Updated 8 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆14Updated 3 years ago
- A package to ease the use of org-mode as a notebook☆19Updated 7 years ago
- Emacs extension to interact with the SLURM jobs scheduler☆45Updated 4 years ago
- This file implements extensions for (Emacs) outline(-minor)-mode.☆20Updated 6 years ago
- make emacs' projectile and speedbar extensions work together☆27Updated 6 years ago
- Automated Programming Framework☆15Updated 5 years ago
- my configuration☆22Updated last week
- Retrieve BibTeX entries from Google Scholar, ACM Digital Library, IEEE Xplore and DBLP☆108Updated 4 years ago
- A minor mode to edit TikZ pictures with Emacs☆10Updated 3 years ago
- Comment link type for Org mode files☆14Updated 3 years ago
- A demo exploring emacs vector capablities☆28Updated 4 years ago
- LaTeX package to create free form slides with blocks placed on a grid☆41Updated 7 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- HTML to Markdown converter written in emacs-lisp.☆19Updated 5 years ago
- Systematic Literature Review Mode for Emacs.☆14Updated 9 years ago
- Interface emacs with Zotero via the zotxt extension☆36Updated 7 months ago
- A simple Emacs mode for marking papers with Org.☆32Updated 2 months ago