nathanael-fijalkow / DeepSynthView external linksLinks
DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of input and output, DeepSynth finds a program matching the examples.
☆50Oct 25, 2024Updated last year
Alternatives and similar repositories for DeepSynth
Users that are interested in DeepSynth are comparing it to the libraries listed below
Sorting:
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆21Jan 3, 2026Updated last month
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- ☆11Jul 20, 2021Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆12Dec 29, 2025Updated last month
- Neurosymbolic Library☆28Updated this week
- Random program generator for Python☆10Jun 20, 2013Updated 12 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Jan 27, 2026Updated 3 weeks ago
- Asking Clarification Questions for Code Generation in General-Purpose Programming Language☆11May 26, 2023Updated 2 years ago
- Official code for the paper "Compositional Generalization from First Principles" (NeurIPS 2023)☆13Jul 25, 2023Updated 2 years ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆14Feb 7, 2023Updated 3 years ago
- ☆13Jul 6, 2023Updated 2 years ago
- ☆14Nov 5, 2019Updated 6 years ago
- Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks☆18Oct 8, 2018Updated 7 years ago
- ☆16Oct 2, 2024Updated last year
- Probing pre-trained source code models☆15Apr 27, 2022Updated 3 years ago
- ☆18Jan 3, 2022Updated 4 years ago
- My take on writing 'Ray Tracing in One Weekend' with Haskell☆15Aug 16, 2025Updated 6 months ago
- This is the official implement for the paper 'Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases''☆14Oct 4, 2023Updated 2 years ago
- ☆70May 12, 2022Updated 3 years ago
- PyTorch implementation of Robust Fill☆18Mar 25, 2023Updated 2 years ago
- ☆19Nov 12, 2025Updated 3 months ago
- ☆16Apr 26, 2021Updated 4 years ago
- ☆18Apr 15, 2024Updated last year
- Using GPT-3 to detect hate speech that contains sexist and racist content☆24Nov 11, 2025Updated 3 months ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Apr 5, 2022Updated 3 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Apr 24, 2021Updated 4 years ago
- ☆18Apr 14, 2021Updated 4 years ago
- A toolkit for pre-processing large source code corpora☆45Sep 30, 2022Updated 3 years ago
- ☆20Mar 6, 2023Updated 2 years ago
- ☆22Apr 21, 2023Updated 2 years ago
- CD4Py: Code De-Duplication for Python☆23Dec 13, 2020Updated 5 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Aug 23, 2021Updated 4 years ago
- ☆45Jun 22, 2022Updated 3 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Aug 19, 2020Updated 5 years ago
- Adaptive Convolutional Neural Networks☆21Nov 21, 2018Updated 7 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Nov 18, 2022Updated 3 years ago
- A simple semantic search engine for scientific papers.☆28Sep 14, 2023Updated 2 years ago
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 2 years ago