Popular repositories Loading

1. holygrail holygrail Public

   Forked from entropitor/thesis

   Jupyter Notebook 1 1

2. reveal.js reveal.js Public

   Forked from hakimel/reveal.js

   The HTML Presentation Framework

   JavaScript

3. aft-aic aft-aic Public

   TeX

4. guide guide Public

   Forked from potassco/guide

   An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.

   TeX

5. clingo clingo Public

   Forked from potassco/clingo

   A grounder and solver for logic programs.

   C++

6. bartbog.github.io bartbog.github.io Public

   HTML