Popular repositories Loading

1. z-core-shacl-semantics z-core-shacl-semantics Public

   Z Specification for the W3C Editor's Draft Core SHACL Semantics by Iovka Boneva and Eric Prud'hommeaux

   TeX 1 1

2. sean sean Public

   Programming examples for Sean.

   Jupyter Notebook 1

3. mathz mathz Public

   This repository contains formal descriptions of standard mathematical objects using Z notation.

   TeX 1

4. agryman.github.io agryman.github.io Public

   GitHub Pages for Arthur Ryman

   HTML

5. data-shapes data-shapes Public

   Specifications and code related to OSLC Resource Shapes and W3C Data Shapes.

   HTML

6. jgs-shem-tov-index jgs-shem-tov-index Public

   Generates web pages from worksheet

   HTML