Popular repositories

1. just-the-docs-tests Public

   Testing the Just the Docs theme

   HTML 4 5

2. pdmosses.github.io Public

   Personal home page

   HTML 3

3. test-nav Public

   Test of navigation features for Just the Docs

   HTML 3 4

4. msos-in-prolog Public

   Modular structural operational semantics in Prolog

   Prolog 2

5. just-the-docs Public

   Forked from pmarsceill/just-the-docs

   A modern, high customizable, responsive Jekyll theme for documention with built-in search. (Linked website published from branch combination-rec-nav.)

   SCSS 2 9

6. tags Public

   Experimental support for tag indexing in Jekyll sites on GitHub Pages

   HTML 2