https://github.com/kalhauge/python-binary-reduction
A small implementation of binary reduction in python.
Science Score: 13.0%
This score indicates how likely this project is to be science-related based on various indicators:
-
○CITATION.cff file
-
○codemeta.json file
-
○.zenodo.json file
-
✓DOI references
Found 2 DOI reference(s) in README -
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (2.5%) to scientific vocabulary
Last synced: 4 months ago
·
JSON representation
Repository
A small implementation of binary reduction in python.
Basic Info
- Host: GitHub
- Owner: kalhauge
- License: mit
- Language: Python
- Default Branch: main
- Size: 7.81 KB
Statistics
- Stars: 1
- Watchers: 3
- Forks: 0
- Open Issues: 0
- Releases: 0
Created over 4 years ago
· Last pushed over 4 years ago
https://github.com/kalhauge/python-binary-reduction/blob/main/
# Binary Reduction A Small implementation of binary reduction in python. Should use Python 3.9 or higher. **If you find it usefull, please cite the paper:** > Christian Gram Kalhauge and Jens Palsberg. 2021. Logical bytecode reduction. In > Proceedings of the 42nd ACM SIGPLAN International Conference on Programming > Language Design and Implementation (PLDI 2021). Association for Computing > Machinery, New York, NY, USA, 10031016. > DOI:https://doi.org/10.1145/3453483.3454091
Owner
- Name: Christian Kalhauge
- Login: kalhauge
- Kind: user
- Repositories: 61
- Profile: https://github.com/kalhauge