Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

pdmosses Follow

Overview Repositories 26 Projects 0 Packages 0 Stars 2

More

Overview
Repositories
Projects
Packages
Stars

pdmosses

Follow

Peter Mosses pdmosses

Follow

I'm currently looking at Agda support for denotational semantics. My development of tool support for CBS in the @plancomps project should resume later in 2025.

41 followers · 0 following

@tudelft-pl
Delft, The Netherlands
https://pdmosses.github.io

Achievements

Achievements

Highlights

Pro

Block or report pdmosses

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Add an optional note:

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Overview Repositories 26 Projects 0 Packages 0 Stars 2

More

Overview
Repositories
Projects
Packages
Stars

Type All

Select type

All Sources Forks Archived Can be sponsored Mirrors Templates

Language All

Select language

All TeX CSS SCSS HTML Java Shell Prolog Ruby JavaScript

Sort Last updated

Select order

Last updated Name Stars

xds-agda Public

Experiments with denotational semantics in Agda

TeX 1 MIT License Updated Mar 16, 2025
pdmosses.github.io Public

Personal home page

CSS 4 Updated Mar 13, 2025
just-the-docs Public
Forked from just-the-docs/just-the-docs

A modern, high customizable, responsive Jekyll theme for documention with built-in search.

SCSS 9 17 MIT License Updated Jan 25, 2025
jensfest-agda Public

Agda code corresponding to a semantics of inheritance

TeX Updated Oct 14, 2024
jekyll-tags Public

Experimental support for tag indexing in Jekyll sites on GitHub Pages

HTML 2 1 Updated Apr 19, 2024
nabl Public
Forked from metaborg/nabl

Spoofax' Name Binding Language

Java Apache License 2.0 Updated Feb 19, 2024
hyperlinked-twins Public

Generating websites with support for name-based navigation

Updated Feb 16, 2024
webdsl-statix Public
Forked from webdsl/webdsl-statix

Shell Updated Feb 16, 2024
metaborg-tiger Public
Forked from MetaBorgCube/metaborg-tiger

Hyperlinked Twin of part of a specification of the Tiger programming language

Java Updated Feb 16, 2024
metaborg-poosl Public
Forked from MetaBorgCube/metaborg-poosl

Experimental Spoofax implementation for POOSL

Java Updated Feb 16, 2024
java-front Public
Forked from metaborg/java-front

Hyperlinked Twin of part of a Java frontend for Spoofax

Java Apache License 2.0 Updated Feb 16, 2024
sdf Public
Forked from metaborg/sdf

A hyperlinked twin of part of a repo with code in a Spoofax meta-language

Java Apache License 2.0 Updated Feb 16, 2024
msos-in-prolog Public

Modular structural operational semantics in Prolog

Prolog 2 Updated Feb 11, 2024
stratego Public
Forked from metaborg/stratego

Java Apache License 2.0 Updated Jan 16, 2024
metaborg.github.io Public
Forked from metaborg/metaborg.github.io

Documentation for the Spoofax language workbench.

TeX Apache License 2.0 Updated Nov 1, 2023
just-the-docs-template Public template
Forked from just-the-docs/just-the-docs-template

WIP: template to use just-the-docs on GitHub pages

Ruby MIT License Updated Oct 24, 2022
just-the-docs-template-test Public

Temporary, for use in testing pdmosses/just-the-docs-template

Ruby MIT License Updated Oct 24, 2022
modular-layouts Public

Ideas for modular layouts

Ruby Updated Sep 22, 2022
just-the-docs-tests-old Public

Testing the Just the Docs theme

JavaScript 5 6 Updated Sep 18, 2022
jekyll-gh-actions-quickstart-test Public

HTML MIT License Updated Aug 4, 2022
jekyll-gh-actions-quickstart Public template
Forked from MichaelCurrin/jekyll-gh-actions-quickstart

Starter template for a Jekyll 4 site - deployed with GH Actions and GH Pages 🧪 🎬 🚀

HTML MIT License Updated Jul 29, 2022
test-jekyll Public

Used for testing a Jekyll performance issue.

Ruby 1 Updated Jun 23, 2022
jtd Public

Test Just-the-Docs search data

Shell 1 Updated Aug 25, 2021
test-multi-level Public

HTML Updated Apr 24, 2021
test-nav Public

Test of navigation features for Just the Docs

HTML 7 8 Updated May 29, 2020
prolog-msos-tool Public

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

Prolog 1 Updated Sep 16, 2019

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.