Guiding Program Synthesis by Learning to Generate Examples
☆13Jul 23, 2023Updated 2 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:
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Javascripts☆11Mar 1, 2026Updated 3 weeks ago
- Dreams up images using multi-dimensional markov chains☆14Dec 27, 2016Updated 9 years ago
- ☆15Nov 9, 2020Updated 5 years ago
- Tools for quantum circuits synthesis, optimization and others.☆23Nov 18, 2025Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- PyTorch library for synthesizing programs from natural language☆18Jul 25, 2024Updated last year
- A tech demo of a voxelizer implemented in C☆16Mar 23, 2021Updated 5 years ago
- [ICSE2020] UAFL DataSet☆12Dec 10, 2022Updated 3 years ago
- A library for hierarchy graph layout based on sugiyama framework☆12Aug 3, 2022Updated 3 years ago
- ☆15Oct 3, 2021Updated 4 years ago
- Code for the paper "Hone as You Read: A Practical Type of Interactive Summarization"☆12May 6, 2021Updated 4 years ago
- Thin wrapper ontop of PIL to explore,visualize and share images☆16Oct 15, 2020Updated 5 years ago
- A simple implementation of Yet another script language Chtholly☆21Mar 23, 2019Updated 7 years ago
- A summary of ideas about transpilation -- work in progress☆23Jun 2, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Adversarial Robustness for Code☆16Mar 30, 2021Updated 4 years ago
- Jax implementation of VIT-VQGAN☆10Jan 25, 2024Updated 2 years ago
- program synthesis is possible☆40Sep 28, 2019Updated 6 years ago
- programs and scripts for molecular structure analysis☆11Mar 3, 2025Updated last year
- Messaging protocol test tools☆16Dec 13, 2021Updated 4 years ago
- PATSQL - SQL Synthesizer☆15Sep 6, 2023Updated 2 years ago
- Varv: Reprogrammable Interactive Software as a Declarative Data Structure☆13Oct 23, 2024Updated last year
- Source code and data for "Pan-cancer analysis of bi-allelic alterations in homologous recombination (HR) DNA repair genes" ; See manuscri…☆13May 26, 2017Updated 8 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- We performed subjective comparison of 6 neural image inpainting methods vs. 3 conventional image inpainting methods vs. results of 3 huma…☆21Oct 11, 2018Updated 7 years ago
- A JavaScript wrapper for Z3 containing support for regular expressions & capture groups☆23Jul 3, 2024Updated last year
- ☆23Nov 2, 2021Updated 4 years ago
- ☆18Jun 5, 2024Updated last year
- Swire Dataset and Application Code☆17Jan 7, 2019Updated 7 years ago
- Image-Based Mesh Generation☆13Apr 7, 2024Updated last year
- Use pytorch the right way http://pytorch.org/docs/☆14Nov 1, 2017Updated 8 years 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
- R package of functions linking R to the threejs 3D plotting engine☆14Jan 28, 2025Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- the cornell box raymarched in GLSL, for tests☆15Apr 5, 2015Updated 10 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆87Oct 28, 2021Updated 4 years ago
- Experiments in generative design☆10Mar 3, 2023Updated 3 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- ☆20Mar 4, 2023Updated 3 years ago
- MCSema Build Windows download☆11Jul 6, 2020Updated 5 years ago
- SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…☆20Feb 23, 2023Updated 3 years ago