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 links in README
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (0.3%) to scientific vocabulary
Last synced: 10 months ago
·
JSON representation
·
Repository
Initial syntax using De Bruijn monads
Basic Info
- Host: GitHub
- Owner: maggesi
- Language: Standard ML
- Default Branch: master
- Size: 5.21 MB
Statistics
- Stars: 2
- Watchers: 5
- Forks: 0
- Open Issues: 0
- Releases: 1
Created about 6 years ago
· Last pushed almost 4 years ago
Metadata Files
Citation
Owner
- Name: Marco Maggesi
- Login: maggesi
- Kind: user
- Company: University of Florence, Italy
- Repositories: 24
- Profile: https://github.com/maggesi
Citation (CITATION.cff)
cff-version: 1.1.0
message: "How to cite this software."
authors:
- family-names: Marco
given-names: Maggesi
orcid: https://orcid.org/0000-0003-4380-7691
title: Initial algebra semantics for de Bruijn monads in HOL Light
version: v2022.08.08
date-released: 2022-09-06