potassco-asp-course / notebooks
This repository collects notebooks for the course
☆9Updated this week
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 6 years ago
- My curriculum vitae☆13Updated 9 months ago
- Emacs package to import Bibtex & PDF from Google Scholar☆11Updated last year
- dna-mode.el - an emacs mode for dna.☆11Updated 5 years ago
- Concise Common Workflow Language☆26Updated 7 months ago
- Code for interacting with longrunning processes from inside Org Mode☆14Updated 4 years ago
- A numerical code generator☆20Updated 11 years ago
- A Common Lisp library for processing genomic sequence data.☆17Updated 11 years ago
- Alexandria-like library for Emacs Lisp☆13Updated 4 years ago
- A minor mode to edit TikZ pictures with Emacs☆8Updated 2 years ago
- Context Sensitive Menu for Emacs Org Mode☆14Updated last year
- DNA sequence editor and alignment viewer for emacs☆18Updated 3 years ago
- (WIP) Convert web pages to readable Org☆13Updated 4 months ago
- A rule engine based on Attempto Controlled English☆18Updated 2 months ago
- Get DOI from PDF files dropped onto a Emacs buffer☆35Updated 2 years ago
- Emacs major mode for editing xonshrc files☆17Updated 4 years ago
- Git LFS for magit!☆14Updated 2 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆13Updated 2 years ago
- ☆13Updated 3 years ago
- Collaborative annotation tool for LaTeX☆17Updated 6 years ago
- An Org mode template to export an article that meets the LaTeX specification of the open-access journal PLOS One. See☆15Updated 10 years ago
- Utility library for providing functions to generate and modify Org mode syntax elements like links, time-stamps, or date-stamps.☆28Updated 2 months ago
- mu4e thread folding☆11Updated last year
- Attempt to bring some of Scimax' functionality to Spacemacs☆13Updated 5 years ago
- Emacs screenshot utility using scrot☆12Updated last year
- Interactively find, present and maybe delete unused IDs of org-id. Available on MELPA.☆13Updated last year
- Run same command in multiple emacs eshell terminals☆14Updated 4 years ago
- A demo exploring emacs vector capablities☆27Updated 3 years ago
- A Gnus backend for Twitter☆15Updated last year
- my configuration☆20Updated 2 weeks ago