potassco-asp-course / notebooksLinks
This repository collects notebooks for the course
☆11Updated 3 weeks ago
Alternatives and similar repositories for notebooks
Users that are interested in notebooks are comparing it to the libraries listed below
Sorting:
- Declarative unit testing for Answer Set Programming projects☆12Updated 7 years ago
- Emacs package to import Bibtex & PDF from Google Scholar☆11Updated 2 years ago
- My curriculum vitae☆13Updated 2 months ago
- ☆13Updated 3 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- dna-mode.el - an emacs mode for dna.☆11Updated 5 years ago
- org-mode templates for PhD hacking☆10Updated 8 years ago
- (WIP) Convert web pages to readable Org☆13Updated 2 months ago
- Manage and visit a small and changing set of org-nodes that you work on. Available on MELPA.☆16Updated last year
- A demo exploring emacs vector capablities☆27Updated 4 years ago
- Code for interacting with longrunning processes from inside Org Mode☆14Updated 4 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆13Updated 3 years ago
- Technology enhanced learning and assessment☆18Updated 8 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Remembrance Agents for Org-mode, powered by Recoll☆18Updated 5 years ago
- Transclusion of files in emacs☆15Updated 5 years ago
- A Common Lisp library for processing genomic sequence data.☆17Updated 11 years ago
- Kodi's Hy utility functions and macros☆12Updated 2 months ago
- Defaults setting for vanilla emacs☆15Updated 4 years ago
- Incremental, lazy dataflow library for emacs☆10Updated 9 months ago
- Concise Common Workflow Language☆27Updated 3 months ago
- Utility library for providing functions to generate and modify Org mode syntax elements like links, time-stamps, or date-stamps.☆30Updated 7 months ago
- Attempt to bring some of Scimax' functionality to Spacemacs☆13Updated 5 years ago
- Get DOI from PDF files dropped onto a Emacs buffer☆36Updated 2 years ago
- Display list of GitHub's emoji. (cheat sheet)☆7Updated last month
- Commit patches to Darcs, Git, Mercurial, Bazaar, Monotone, Subversion, or CVS☆21Updated last year
- An Emas Major Mode for editing Answer Set Programs☆12Updated 7 years ago
- Emacs client for Semantic Synchrony knowledge graphs☆12Updated last year
- Visual bell for GNU Emacs☆20Updated 3 years ago
- mode on region☆9Updated 3 years ago