Skip to content
@maude-lang

Maude

Language based on Rewriting Logic

Pinned Loading

  1. Maude Maude Public

    Language based on Rewriting Logic

    C++ 97 11

Repositories

Showing 2 of 2 repositories
  • Maude Public

    Language based on Rewriting Logic

    maude-lang/Maude’s past year of commit activity
    C++ 97 GPL-2.0 11 2 1 Updated Jan 13, 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 1 0 0 0 Updated May 29, 2024

People

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

Top languages

Loading…

Most used topics

Loading…