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 (1.8%) to scientific vocabulary
Keywords
dependent-types
dot
rml
Last synced: 6 months ago
·
JSON representation
·
Repository
My master thesis on RML : In French.
Basic Info
Statistics
- Stars: 5
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Topics
dependent-types
dot
rml
Created almost 9 years ago
· Last pushed over 3 years ago
Metadata Files
Readme
Citation
README.md
Mémoire
Download the PDF in the repo.
Compile
git submodule update --init --recursive
make
Open memoire.pdf
Owner
- Name: Danny Willems
- Login: dannywillems
- Kind: user
- Location: Mostly Belgium, but often moving
- Company: LeakIX
- Website: https://dannywillems.github.io
- Twitter: dwillems42
- Repositories: 360
- Profile: https://github.com/dannywillems
If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?
Citation (CITATION.cff)
cff-version: 1.2.0 message: "If you use this software, please cite it as below." authors: - family-names: "Willems" given-names: "Danny" title: "Vers un langage typé pour la programmation modulaire" version: 1.0.0 date-released: 2017-05-30 url: "https://github.com/dannywillems/master-thesis"
GitHub Events
Total
- Watch event: 1
Last Year
- Watch event: 1
Issues and Pull Requests
Last synced: 11 months ago
All Time
- Total issues: 1
- Total pull requests: 4
- Average time to close issues: about 1 hour
- Average time to close pull requests: 1 day
- Total issue authors: 1
- Total pull request authors: 4
- Average comments per issue: 4.0
- Average comments per pull request: 0.5
- Merged pull requests: 3
- 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
Top Authors
Issue Authors
- edodo7 (1)
Pull Request Authors
- b2c2-dannywillems (1)
- xvw (1)
- ghuysmans (1)
- drupol (1)