Science Score: 54.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
Links to: arxiv.org -
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (9.5%) to scientific vocabulary
Repository
eudoxus: UCLID5 text-to-code tool
Basic Info
- Host: GitHub
- Owner: FedericoAureliano
- License: mit
- Language: Python
- Default Branch: main
- Homepage: http://federico.morarocha.ca/eudoxus/
- Size: 6.45 MB
Statistics
- Stars: 4
- Watchers: 3
- Forks: 1
- Open Issues: 0
- Releases: 1
Metadata Files
README.md
Moving Forward, This Project Will be Maintained at https://github.com/uclid-org/eudoxus
eudoxus: UCLID5 text-to-code tool
"Eudoxus was probably the source for most of book V of Euclid's Elements." - Wikipedia
Eudoxus is based on Synthetic Programming Elicitation. For an example, complete example run of the tool, see docs/results/eudoxus-gpt35/ls-ex3_13.txt.
Recommended Install
sh
git clone https://github.com/FedericoAureliano/eudoxus.git
cd eudoxus
python3.11 -m venv .venv
source .venv/bin/activate
pip3 install .
Usage
``` Usage: eudoxus [OPTIONS] TASK
╭─ Arguments ──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │ * task PATH [default: None] [required] │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ╭─ Options ────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╮ │ --language [python|uclid] [default: uclid] │ │ --model [gpt-4-turbo-2024-04-09|gpt-3.5-turbo-0125] [default: gpt-4-turbo-2024-04-09] │ │ --output PATH [default: None] │ │ --iterations INTEGER [default: 2] │ │ --inference --no-inference [default: inference] │ │ --remind --no-remind [default: remind] │ │ --help Show this message and exit. │ ╰──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────╯ ```
To do anything other than repair, you must have an OpenAI API Key in your ‘OPENAIAPIKEY’ environment variable. Set iterations to any value less than one to just do repair. The examples folder contains reapir input/output pairs. For example, running eudoxus examples/arithmetic.input.py --iterations 0 should print out code equivalent to that in examples/arithmetic.output.ucl.
Development
Virtual Environment
```sh python3.11 -m venv .venv source .venv/bin/activate
deactivate (for exiting virtual environment)
```
Requirements (MacOS)
sh
pip3 install pre-commit
pre-commit install
pip3 install "tox<4"
Install
sh
pip3 install -e .
Testing
sh
tox
open htmlcov/index.html # to see coverage report
Formatting
sh
pre-commit run --all-files --show-diff-on-failure
Owner
- Name: Federico Mora Rocha
- Login: FedericoAureliano
- Kind: user
- Company: University of California, Berkeley
- Website: https://federicoaureliano.github.io
- Repositories: 16
- Profile: https://github.com/FedericoAureliano
Citation (CITATION.bib)
@inproceedings{moraNeurIPS2024,
title = {Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages},
author = {Federico Mora and Justin Wong and Haley Lepe and Sahil Bhatia and Karim Elmaaroufi and George Varghese and Joseph E. Gonzalez and Elizabeth Polgreen and Sanjit A. Seshia},
booktitle = {The Thirty-eighth Annual Conference on Neural Information Processing Systems (NeurIPS)},
year = {2024},
url = {https://openreview.net/forum?id=kQPzFiwVIu}
}
GitHub Events
Total
- Watch event: 1
- Delete event: 1
- Push event: 3
- Fork event: 2
- Create event: 1
Last Year
- Watch event: 1
- Delete event: 1
- Push event: 3
- Fork event: 2
- Create event: 1
Issues and Pull Requests
Last synced: 11 months ago
All Time
- Total issues: 1
- Total pull requests: 5
- Average time to close issues: less than a minute
- Average time to close pull requests: about 1 month
- Total issue authors: 1
- Total pull request authors: 3
- Average comments per issue: 0.0
- Average comments per pull request: 0.2
- Merged pull requests: 4
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 1
- Pull requests: 4
- Average time to close issues: less than a minute
- Average time to close pull requests: about 1 month
- Issue authors: 1
- Pull request authors: 3
- Average comments per issue: 0.0
- Average comments per pull request: 0.25
- Merged pull requests: 3
- Bot issues: 0
- Bot pull requests: 0
Top Authors
Issue Authors
- AnirudhChaudhary (1)
Pull Request Authors
- FedericoAureliano (3)
- adwait (1)
- jwong8314 (1)
Top Labels
Issue Labels
Pull Request Labels
Dependencies
- actions/checkout v4 composite
- actions/download-artifact v3 composite
- actions/setup-python v4 composite
- actions/upload-artifact v3 composite