maude_interface
Science Score: 44.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
✓CITATION.cff file
Found CITATION.cff file -
✓codemeta.json file
Found codemeta.json file -
✓.zenodo.json file
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (4.2%) to scientific vocabulary
Repository
Basic Info
- Host: GitHub
- Owner: bcarrans
- Language: PHP
- Default Branch: main
- Size: 89.8 KB
Statistics
- Stars: 0
- Watchers: 2
- Forks: 1
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
Maude Web Interface
The Maude commands this platform currently supports are the following:
* Rewriting commands
- reduce (may be abbreviated to red)
- rewrite (may be abbreviated to rew)
- frewrite (may be abbreviated to frew)
- erewrite (may be abbreviated to erew)
Matching commands
matchxmatch
Searching commands
search
More information on the Maude system can be found in the following manual: - Clavel, M., Durán, F., Eker, S., Escobar, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Rubio, R., & Talcott, C. (2024). Maude Manual, Version 3.4. University of Illinois at Urbana-Champaign. Available at https://maude.cs.illinois.edu/w/images/e/e9/Maude34manual.pdf.
The syntax to be used is specified in the Appendix A which is available here in HTML format.
Owner
- Login: bcarrans
- Kind: user
- Repositories: 1
- Profile: https://github.com/bcarrans
Citation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - family-names: "Carrancio Casero" given-names: "Beatriz" orcid: "https://orcid.org/0000-0000-0000-0000" title: "maude_interface" version: 1.0.0 doi: 10.5281/zenodo.1234 date-released: 2024-05-09 url: "https://github.com/bcarrans/maude_interface"