mled-calculus
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
-
○Committers with academic emails
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (3.2%) to scientific vocabulary
Last synced: 8 months ago
·
JSON representation
·
Repository
Basic Info
- Host: GitHub
- Owner: ronsaldo
- License: mit
- Language: Racket
- Default Branch: main
- Size: 25.4 KB
Statistics
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Created over 1 year ago
· Last pushed over 1 year ago
Metadata Files
Readme
License
Citation
README.md
Mu Lambda Epsilon Delta Calculus
Proof of concept implementation
This repository contains a proof of concept implementation of our mu-lambda-epsilon-delta calculus implemented in racket. The only requirement for exploring the different versions and progressive construction of our calculus is to have a version racket. Graphviz dot utility must be available on the binary search path so that different graph visualizations can be generated as .svg files.
Owner
- Name: Ronie Salgado
- Login: ronsaldo
- Kind: user
- Website: http://ronie.cl
- Repositories: 85
- Profile: https://github.com/ronsaldo
Citation (CITATION.cff)
# This CITATION.cff file was generated with cffinit.
# Visit https://bit.ly/cffinit to generate yours today!
cff-version: 1.2.0
title: Mu Lambda Epsilon Delta Calculus Proof of Concept
message: >-
If you use this software, please cite it using the
metadata from this file.
type: software
authors:
- given-names: Ronie Alexis
family-names: Salgado Faila
email: ronie@desromech.cl
affiliation: 'Desromech EIRL - Pleiad, DCC, University of Chile'
orcid: 'https://orcid.org/0000-0002-9543-3735'
repository-code: 'https://github.com/ronsaldo/mled-calculus'
abstract: >-
Proof of Concept Implementation of the
Mu-Lambda-Epsilon-Delta calculus.
keywords:
- Programming Language
- Theory of computation
license: MIT
GitHub Events
Total
- Watch event: 1
Last Year
- Watch event: 1
Committers
Last synced: about 1 year ago
Top Committers
| Name | Commits | |
|---|---|---|
| Ronie Salgado | r****g@g****m | 18 |
Issues and Pull Requests
Last synced: about 1 year ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0