Pinned Repositories
maude
This repository contains the Maude 2 interpreter source tree.
MFE
Maude Formal Environment
anonymous-workflow-refactoring
brooklyn-dist
Mirror of Apache Brooklyn dist
coyote
Coyote is a testing library and tool that helps ensure that your C# code is free of annoying concurrency bugs.
ibos-case-study
A Maude specification of IBOS as well as associated proofs.
jplag
JPlag - Detecting Software Plagiarism
Maude
Language based on Rewriting Logic
maude-bpmn
Maude specification of BPMN processes
planner-seed
Exploratory prototype for the Seaclouds' planner
narudocap's Repositories
narudocap/maude-bpmn
Maude specification of BPMN processes
narudocap/anonymous-workflow-refactoring
narudocap/Maude
Language based on Rewriting Logic
narudocap/brooklyn-dist
Mirror of Apache Brooklyn dist
narudocap/coyote
Coyote is a testing library and tool that helps ensure that your C# code is free of annoying concurrency bugs.
narudocap/ibos-case-study
A Maude specification of IBOS as well as associated proofs.
narudocap/jplag
JPlag - Detecting Software Plagiarism
narudocap/planner-seed
Exploratory prototype for the Seaclouds' planner