potassco-asp-course / notebooksLinks
This repository collects notebooks for the course
☆13Updated last week
Alternatives and similar repositories for notebooks
Users that are interested in notebooks are comparing it to the libraries listed below
Sorting:
- My curriculum vitae☆13Updated 3 months ago
- 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
- A Parallel Haskell framework for particle-based Monte Carlo simulations☆13Updated 6 years ago
- Code for interacting with longrunning processes from inside Org Mode☆14Updated 4 years ago
- Unified interface to symbolic manipulation libraries in Python☆9Updated 5 months ago
- dna-mode.el - an emacs mode for dna.☆11Updated 5 years ago
- A Catlab-compatible implementation of acsets in python.☆12Updated last year
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated last year
- Alexandria-like library for Emacs Lisp☆13Updated 4 years ago
- Spatial bio-chemical reaction model editor and simulator☆16Updated this week
- This file implements extensions for (Emacs) outline(-minor)-mode.☆20Updated 6 years ago
- It's a mode for flex files that provide better syntax highlight than flex-mode.el☆9Updated 5 years ago
- Automate the compilation of LaTeX documents☆28Updated last year
- A Gnus backend for Twitter☆16Updated 2 years ago
- Machine Learning for Mathematical Formalization☆11Updated last year
- Another attempt for visualizing proofs☆12Updated 8 months ago
- Emacs major mode for editing xonshrc files☆17Updated 4 years ago
- A textual front end to Mathematica.☆12Updated 5 years ago
- Jupyter Kernel for Xonsh☆22Updated 8 years ago
- Match entities between CiteSeerX and other digital libraries☆12Updated 6 years ago
- Empowered Nix/Guix without root☆37Updated 10 years ago
- Technology enhanced learning and assessment☆18Updated 8 years ago
- An anonymous way of express your sensations through a decentralized network, powered by open source code and blockchain technologies.☆8Updated last year
- ☆14Updated 2 weeks ago
- script for automatically changing the keyboard input language based on the specific app preferences☆15Updated 2 years ago
- Template for article submission☆21Updated 2 years ago
- Display list of GitHub's emoji. (cheat sheet)☆7Updated 2 months ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- A tool for working with Org-mode data from command-line, tuned to my own use cases☆19Updated 3 weeks ago