Skip to main content

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)

Source distribution for program-synthesis 0.1.2
File Size Uploaded
program-synthesis-0.1.2.tar.gz 180.2 kB Details

Built distribution (wheel)

Table of built distributions (wheels) for program-synthesis 0.1.2
File Interpreter ABI Platform
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

Release history Release notifications | RSS feed

This release

0.1.2 This release

2 release files

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page