Peter Mosses's repositories
just-the-docs
A modern, high customizable, responsive Jekyll theme for documention with built-in search.
just-the-docs-tests-old
Testing the Just the Docs theme
pdmosses.github.io
Personal home page
jekyll-tags
Experimental support for tag indexing in Jekyll sites on GitHub Pages
msos-in-prolog
Modular structural operational semantics in Prolog
just-the-docs-template
WIP: template to use just-the-docs on GitHub pages
prolog-msos-tool
Prolog tools for MSDF, a meta-language for specifying MSOS of programming languages
hyperlinked-twins
Generating websites with support for name-based navigation
java-front
Hyperlinked Twin of part of a Java frontend for Spoofax
jekyll-gh-actions-quickstart
Starter template for a Jekyll 4 site - deployed with GH Actions and GH Pages 🧪 🎬 🚀
jtd
Test Just-the-Docs search data
just-the-docs-template-test
Temporary, for use in testing pdmosses/just-the-docs-template
metaborg-poosl
Experimental Spoofax implementation for POOSL
metaborg-tiger
Hyperlinked Twin of part of a specification of the Tiger programming language
metaborg.github.io
Documentation for the Spoofax language workbench.
modular-layouts
Ideas for modular layouts
nabl
Spoofax' Name Binding Language
sdf
A hyperlinked twin of part of a repo with code in a Spoofax meta-language
test-jekyll
Used for testing a Jekyll performance issue.