dev-lang/
maude

High-level specification language for equational and logic programming

https://maude.cs.uiuc.edu/

Dependencies Reverse-Dependencies

Version RDEPEND DEPEND BDEPEND PDEPEND

The reverse dependencies are regularly parsed from the qa-reports. The sources can be found at: