potassco-asp-course / notebooks
This repository collects notebooks for the course
☆9Updated last month
Alternatives and similar repositories for notebooks:
Users that are interested in notebooks are comparing it to the libraries listed below
- Emacs package to import Bibtex & PDF from Google Scholar☆11Updated last year
- Concise Common Workflow Language☆26Updated 3 weeks ago
- Declarative unit testing for Answer Set Programming projects☆12Updated 6 years ago
- dna-mode.el - an emacs mode for dna.☆11Updated 5 years ago
- Git LFS for magit!☆16Updated 2 years ago
- ☆13Updated 3 years ago
- A demo exploring emacs vector capablities☆27Updated 4 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆13Updated 2 years ago
- Emacs major mode for editing xonshrc files☆17Updated 4 years ago
- DON'T PANIC (a not so useful guide to High Energy Physics software)☆13Updated 2 years ago
- emacs-TOTP implements Time-based One-time Passwords (TOTP) like specified in RFC 6238)☆20Updated last year
- Code for interacting with longrunning processes from inside Org Mode☆14Updated 4 years ago
- Insert Unicode math symbols in Emacs☆12Updated 2 years ago
- Explore Github repositories on the fly in Emacs☆42Updated last year
- Start writing (or coding), stay focused, don't worry.☆33Updated last month
- This file implements extensions for (Emacs) outline(-minor)-mode.☆20Updated 5 years ago
- Alexandria-like library for Emacs Lisp☆13Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Emacs screenshot utility using scrot☆12Updated last year
- Manage and visit a small and changing set of org-nodes that you work on. Available on MELPA.☆16Updated last year
- org-mode export function for pelican static site☆7Updated 9 years ago
- My curriculum vitae☆13Updated 10 months ago
- Emacs minor mode for entering unicode math symbols☆10Updated last year
- Emacs package for manipulation of brackets in LaTeX mode☆20Updated 6 years ago
- org-mode + latex + docker = pdf☆33Updated 4 years ago
- A Common Lisp library for processing genomic sequence data.☆17Updated 11 years ago
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- A minor mode to edit TikZ pictures with Emacs☆8Updated 2 years ago