potassco-asp-course / notebooks
This repository collects notebooks for the course
☆9Updated 3 months ago
Alternatives and similar repositories for notebooks:
Users that are interested in notebooks are comparing it to the libraries listed below
- Declarative unit testing for Answer Set Programming projects☆12Updated 7 years ago
- Concise Common Workflow Language☆27Updated last month
- Emacs package to import Bibtex & PDF from Google Scholar☆11Updated 2 years ago
- dna-mode.el - an emacs mode for dna.☆11Updated 5 years ago
- Code for interacting with longrunning processes from inside Org Mode☆14Updated 4 years ago
- Alexandria-like library for Emacs Lisp☆13Updated 4 years ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- Attempt to bring some of Scimax' functionality to Spacemacs☆13Updated 5 years ago
- (WIP) Convert web pages to readable Org☆13Updated 3 weeks ago
- ☆13Updated 3 years ago
- snippet for docstring in numpy coding style☆16Updated 4 years ago
- Interactively find, present and maybe delete unused IDs of org-id. Available on MELPA.☆13Updated 2 months ago
- DON'T PANIC (a not so useful guide to High Energy Physics software)☆13Updated 3 years ago
- My Spacemacs configuration.☆11Updated 6 years ago
- Debugger in the Trepan family for x-python☆17Updated 4 months ago
- mu4e thread folding☆12Updated 2 years ago
- A numerical code generator☆20Updated 11 years ago
- Get DOI from PDF files dropped onto a Emacs buffer☆36Updated 2 years ago
- A tool for working with Org-mode data from command-line, tuned to my own use cases☆19Updated this week
- Match entities between CiteSeerX and other digital libraries☆12Updated 5 years ago
- Emacs major mode for editing xonshrc files☆17Updated 4 years ago
- Technology enhanced learning and assessment☆18Updated 8 years ago
- Produce animated SVG from recorded script sessions☆21Updated 9 years ago
- Magic editing of LaTeX tables in GNU Emacs☆21Updated last year
- Insert Unicode math symbols in Emacs☆12Updated 3 years ago
- ☆11Updated 7 months ago
- Visual bell for GNU Emacs☆20Updated 3 years ago
- DNA sequence editor and alignment viewer for emacs☆18Updated 3 years ago
- Polymode support for Org-brain☆14Updated 4 years ago
- Defaults setting for vanilla emacs☆15Updated 4 years ago