potassco-asp-course / notebooks

Related projects ⓘ

Alternatives and complementary repositories for notebooks

• arunisaac / ccwl
  Concise Common Workflow Language
  ☆24Updated 5 months ago
• rndmcnlly / ansunit
  Declarative unit testing for Answer Set Programming projects
  ☆11Updated 6 years ago
• dmb2 / hitchhikers-guide-to-hep
  DON'T PANIC (a not so useful guide to High Energy Physics software)
  ☆13Updated 2 years ago
• santifa / pasp-mode
  An Emas Major Mode for editing Answer Set Programs
  ☆13Updated 6 years ago
• ffevotte / slurm.el
  Emacs extension to interact with the SLURM jobs scheduler
  ☆43Updated 3 years ago
• burakbayramli / emacs-jupyter
  emacs plug-in to run python code inside tex or markdown buffer
  ☆33Updated last year
• sbrisard / bratex
  Emacs package for manipulation of brackets in LaTeX mode
  ☆19Updated 6 years ago
• sabof / svg-thing
  A demo exploring emacs vector capablities
  ☆27Updated 3 years ago
• marubu / yasnippet-numpy-style
  snippet for docstring in numpy coding style
  ☆16Updated 4 years ago
• douglasdavis / numpydoc.el
  Insert NumPy style docstrings in Python functions.
  ☆46Updated last year
• kyleam / snakemake-mode
  [MIRROR] Emacs support for Snakemake
  ☆33Updated 11 months ago
• zellerin / dynamic-graphs
  ☆13Updated 3 years ago
• M-x-Research / M-x-Research.github.io
  Website for M-x Research Events
  ☆17Updated 10 months ago
• jonnay / mindwave-emacs
  A suite of neurological tools to use with emacs, using the neurosky thinkgear connector. (Compatible with the Neurosky Mindwave headset,…
  ☆17Updated 10 years ago
• keithj / cl-genomic
  A Common Lisp library for processing genomic sequence data.
  ☆17Updated 10 years ago
• sebasguts / jupyter_kernel_singular
  Jupyter wrapper kernel for singular
  ☆10Updated 5 months ago
• guix-science / guix-science
  Free scientific packages for GNU Guix.
  ☆47Updated last month
• monsanto / auto-complete-auctex
  autocomplete for auctex
  ☆24Updated 10 years ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• doc-org / doc-org
  org-mode + latex + docker = pdf
  ☆32Updated 4 years ago
• dmgerman / teachingProgOrg
  ☆26Updated 9 months ago
• vspinu / ac-math
  auto-complete sources for input of mathematical symbols and latex tags
  ☆24Updated 10 years ago
• anshulverma / projectile-speedbar
  make emacs' projectile and speedbar extensions work together
  ☆27Updated 5 years ago
• emiliotorres / tikz
  A minor mode to edit TikZ pictures with Emacs
  ☆8Updated 2 years ago
• girzel / org-annotate
  Comment link type for Org mode files
  ☆14Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated last year
• kshramt / company-ngram
  ☆30Updated 7 years ago
• teeann / scholar-import
  Emacs package to import Bibtex & PDF from Google Scholar
  ☆11Updated last year
• brannala / sequed
  DNA sequence editor and alignment viewer for emacs
  ☆17Updated 2 years ago
• seblemaguer / dotfiles
  my configuration
  ☆20Updated this week