Peter Mosses (@pdmosses)
github

pdmosses

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    26
  • Global Rank 539,707 (Top 19 %)
  • Followers 20
  • Registered over 8 years ago
  • Most used languages
    HTML
         50.0 %
    Prolog
         33.3 %
    JavaScript
         16.7 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 7,577
  • Country Ranking
    Prolog
         21
    HTML
         507
    JavaScript
         3,589

Top repositories

1

test-nav

Test of navigation features for Just the Docs
HTML
6
star
2

just-the-docs-tests-old

Testing the Just the Docs theme
JavaScript
5
star
3

pdmosses.github.io

Personal home page
HTML
3
star
4

msos-in-prolog

Modular structural operational semantics in Prolog
Prolog
2
star
5

tags

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

prolog-msos-tool

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