Guiding Program Synthesis by Learning to Generate Examples
☆13Jul 23, 2023Updated 3 years ago
Alternatives and similar repositories for guiding-synthesizers
Users that are interested in guiding-synthesizers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Javascripts☆11Updated this week
- ☆10Aug 28, 2020Updated 6 years ago
- Schedule for ArtOfSAT☆12Oct 11, 2023Updated 3 years ago
- A package for doing flag algebra computations with the Sage mathematics system. Written in Python and Cython.☆13Mar 16, 2020Updated 6 years ago
- Dreams up images using multi-dimensional markov chains☆15Dec 27, 2016Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A tech demo of a voxelizer implemented in C☆16Mar 23, 2021Updated 5 years ago
- PyTorch library for synthesizing programs from natural language☆18Jul 25, 2024Updated 2 years ago
- 🧠 A translator between answer set programs and first-order logic☆17Oct 20, 2026Updated 2 weeks ago
- ☆15Nov 9, 2020Updated 5 years ago
- A certified checker for Datalog entailments, written in Lean☆14Oct 22, 2026Updated 2 weeks ago
- [ICSE2020] UAFL DataSet☆11Dec 10, 2022Updated 3 years ago
- A library for hierarchy graph layout based on sugiyama framework☆12Apr 1, 2026Updated 7 months ago
- Code for the paper "Hone as You Read: A Practical Type of Interactive Summarization"☆12May 6, 2021Updated 5 years ago
- Thin wrapper ontop of PIL to explore,visualize and share images☆16Oct 15, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆16Oct 3, 2021Updated 5 years ago
- program synthesis is possible☆40Sep 28, 2019Updated 7 years ago
- A summary of ideas about transpilation -- work in progress☆23Jun 2, 2023Updated 3 years ago
- PATSQL - SQL Synthesizer☆16Sep 6, 2023Updated 3 years ago
- A simple implementation of Yet another script language Chtholly☆21Mar 23, 2019Updated 7 years ago
- Source code and data for "Pan-cancer analysis of bi-allelic alterations in homologous recombination (HR) DNA repair genes" ; See manuscri…☆13May 26, 2017Updated 9 years ago
- Adversarial Robustness for Code☆16Mar 30, 2021Updated 5 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 9 years ago
- Jax implementation of VIT-VQGAN☆10Jan 25, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- R package of functions linking R to the threejs 3D plotting engine☆14Jan 28, 2025Updated last year
- We performed subjective comparison of 6 neural image inpainting methods vs. 3 conventional image inpainting methods vs. results of 3 huma…☆21Oct 11, 2018Updated 8 years ago
- ☆23Nov 2, 2021Updated 5 years ago
- programs and scripts for molecular structure analysis☆13Mar 26, 2026Updated 7 months ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆15Oct 23, 2024Updated 2 years ago
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- ☆19Jun 5, 2024Updated 2 years ago
- Provide preprocessed labels of NUS-WIDE dataset in numpy format☆16Sep 27, 2019Updated 7 years ago
- Swire Dataset and Application Code☆17Jan 7, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated 2 years ago
- Articles about various things☆10Jun 1, 2021Updated 5 years ago
- TL;DR: Mutate a binary to identify potential exploit candidates☆11Jan 12, 2026Updated 9 months ago
- Beacon is a monitoring tool for HPC centers, and has been deployed on the current No.3 Sunway TaihuLight Supercomputer for over a year. W…☆21Dec 18, 2020Updated 5 years ago
- Code for paper "Poisoned classifiers are not only backdoored, they are fundamentally broken"☆26Jan 7, 2022Updated 4 years ago
- Use pytorch the right way http://pytorch.org/docs/☆14Nov 1, 2017Updated 9 years ago
- A coverage-guided and memory-detection enabled fuzzer for windows applications.☆32Feb 1, 2021Updated 5 years ago