pdmosses/msos-in-prolog pdmosses/msos-in-prolog

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

pdmosses

Reviews

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

Repository Details

Modular structural operational semantics in Prolog

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

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