Skip to content
@maude-lang

Maude

Language based on Rewriting Logic

Pinned Loading

  1. Maude Maude Public

    Language based on Rewriting Logic

    C++ 75 10

Repositories

Showing 2 of 2 repositories
  • Maude Public

    Language based on Rewriting Logic

    maude-lang/Maude’s past year of commit activity
    C++ 75 GPL-2.0 10 4 3 Updated Jun 8, 2024
  • 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 0 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…