Program Synthesis
NEAR Program Synthesis provides a set of models, tools, and datasets for program synthesis tasks.
This repository will make it easier for the community to compare and reuse program synthesis algorithms across different datasets.
Prerequisites
Python 3 (>=3.5) is required to run the code. We also recommend using virtualenv for isolated Python environments and pip for package management. Note, to create a Python 3 environment you need to run:
virtualenv .env --python=python3
source .env/bin/activate
The code also assumes that PyTorch is already installed.
Installation
pip install program-synthesis
Development installation
For development installation you need to clone the repository:
git clone https://github.com/nearai/program_synthesis.git
cd program_synthesis
Install program-synthesis in editable mode:
pip install -e .
Models and datasets
Metadata
Release files for program-synthesis 0.1.2
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Source distribution (sdist)
| File | Size | Uploaded | |
|---|---|---|---|
| program-synthesis-0.1.2.tar.gz | 180.2 kB | Details |
Built distribution (wheel)
| File | Interpreter | ABI | Platform | Reset |
|---|---|---|---|---|
| program_synthesis-0.1.2-py3-none-any.whl | Python 3 | none | any | Details |
Total release size: 403.3 kB
Release files / program-synthesis-0.1.2.tar.gz
| Download URL | program-synthesis-0.1.2.tar.gz |
|---|---|
| Size | 180.2 kB |
| Tags | Source |
|
SHA-256 checksum How to use checksums |
d17bb1aaaeb0f2321879cf8da8939ad554c4b9ebdd08224681f0600e65a9257c
|
|
BLAKE2b-256 checksum How to use checksums |
add53e329b3ee9d38f7b713d32dd8637c2a80f767424fbfc0b14f7346bde7229
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
Release files / program_synthesis-0.1.2-py3-none-any.whl
| Download URL | program_synthesis-0.1.2-py3-none-any.whl |
|---|---|
| Size | 223.1 kB |
| Tags | Python 3 |
|
SHA-256 checksum How to use checksums |
a2759bac5d50fa03e950e4885599042090d1a64c2367eb86b9a5215d8d6dd246
|
|
BLAKE2b-256 checksum How to use checksums |
53e9e50e9d86bfb109579f89f322ee618f0248c4201650ab8d22300e67537612
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |