Skip to content
@maude-lang

Maude

Language based on Rewriting Logic

Pinned Loading

  1. Maude Maude Public

    Language based on Rewriting Logic

    C++ 191 19

Repositories

Showing 3 of 3 repositories
  • Maude Public

    Language based on Rewriting Logic

    maude-lang/Maude's past year of commit activity
    C++ 191 GPL-2.0 19 1 2 Updated Sep 19, 2026
  • maude-lang.github.io Public

    Maude website

    maude-lang/maude-lang.github.io's past year of commit activity
    Python 0 0 0 0 Updated Dec 22, 2025
  • pca-open-system Public

    Maude specification of a Patient Controlled Analgesia (PCA) open system

    maude-lang/pca-open-system's past year of commit activity
    Python 3 3 0 0 Updated Dec 16, 2025

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

See More

Loading…

Most used topics

Loading…