potassco-asp-course / notebooksLinks
This repository collects notebooks for the course
☆11Updated last week
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
- Concise Common Workflow Language☆28Updated 4 months ago
- dna-mode.el - an emacs mode for dna.☆11Updated 5 years ago
- Emacs major mode for editing xonshrc files☆17Updated 4 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- A MiniKanren in Python☆35Updated 8 years ago
- Emacs package to import Bibtex & PDF from Google Scholar☆11Updated 2 years ago
- Code for interacting with longrunning processes from inside Org Mode☆14Updated 4 years ago
- Graph Canonical Labeling and Automorphism Group Computation, R package for nauty and Traces☆12Updated 10 years ago
- ☆13Updated 3 years ago
- Coordinating my guix hacking☆8Updated 6 years ago
- Jupyter Kernel for Xonsh☆22Updated 8 years ago
- auto-complete sources for input of mathematical symbols and latex tags☆24Updated 10 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆13Updated 3 years ago
- A Gnus backend for Twitter☆16Updated last year
- Recursive descent parser for Emacs Lisp☆18Updated 12 years ago
- A rule engine based on Attempto Controlled English☆18Updated 7 months ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated 4 months ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 2 months ago
- Emacs minor mode for entering unicode math symbols☆10Updated last year
- Simple extension to export snippets to org-mode and vice versa☆14Updated 4 years ago
- (WIP) Convert web pages to readable Org☆13Updated 2 months ago
- Alexandria-like library for Emacs Lisp☆13Updated 4 years ago
- Display list of GitHub's emoji. (cheat sheet)☆7Updated 2 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Manage and visit a small and changing set of org-nodes that you work on. Available on MELPA.☆16Updated last week
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- A Common Lisp library for processing genomic sequence data.☆17Updated 11 years ago
- git supported code archive and reference for org-mode☆16Updated 3 years ago
- Kodi's Hy utility functions and macros☆12Updated 3 months ago