Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with maude

A curated list of projects in awesome lists tagged with maude .

https://github.com/sri-csl/imaude

Interactive Maude

actors iop jlambda maude

Last synced: 06 Nov 2024

https://github.com/pthariensflame/pygments-maude

Pygments lexers for Maude, both batch and interactive.

maude pygments-lexer syntax-highlighting

Last synced: 24 Oct 2024

https://github.com/sri-csl/iopc

The C infrastructure for the IOP system

actor-model actors jlambda maude

Last synced: 06 Nov 2024