pdmosses/prolog-msos-tool pdmosses/prolog-msos-tool

  • Stars
    star
    1
  • Language
    Prolog
  • Created about 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pdmosses/prolog-msos-tool
github

pdmosses

Reviews

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

Repository Details

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

More 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