pdmosses/test-nav pdmosses/test-nav

  • Stars
    star
    6
  • Rank 2,526,873 (Top 50 %)
  • Language
    HTML
  • Created about 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pdmosses/test-nav
github

pdmosses

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Test of navigation features for Just the Docs

More Repositories

1

just-the-docs-tests-old

Testing the Just the Docs theme
JavaScript
5
star
2

pdmosses.github.io

Personal home page
HTML
3
star
3

msos-in-prolog

Modular structural operational semantics in Prolog
Prolog
2
star
4

tags

Experimental support for tag indexing in Jekyll sites on GitHub Pages
HTML
2
star
5

prolog-msos-tool

Prolog tools for MSDF, a meta-language for specifying MSOS of programming languages
Prolog
1
star