General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
☆21Jan 3, 2026Updated 3 months ago
Alternatives and similar repositories for DeepSynth
Users that are interested in DeepSynth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Oct 25, 2024Updated last year
- Public repository for the LLM course at MVA☆38Mar 13, 2026Updated 3 weeks ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- ☆11Feb 23, 2026Updated last month
- ☆12Nov 8, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆24Jan 27, 2025Updated last year
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Mar 30, 2026Updated last week
- The CodeInsight dataset is designed for code generation tasks, providing developers with expert-curated examples that bridge the gap betw…☆14Oct 22, 2024Updated last year
- Code repo for paper: ICML 2020 paper Natural lottery ticket winner: RL for ordinary neural circuits☆13Jun 1, 2020Updated 5 years ago
- Fast and accurate API breaking change and compatibility analysis of Java libraries.☆30Apr 3, 2026Updated last week
- Generating tests from production workloads http://arxiv.org/pdf/2012.01198☆18Nov 1, 2024Updated last year
- Official Implementation of "Circuit Transformer: A Transformer That Preserves Logical Equivalence"☆23Mar 13, 2025Updated last year
- Maracas is a source code and bytecode analysis framework—written in Java with the help of Spoon—which analyzes how Java libraries evolve…☆16Feb 15, 2025Updated last year
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Create and revise bibtex entries from DBLP☆26Mar 3, 2026Updated last month
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/☆12Aug 5, 2024Updated last year
- Efficient numpy-like ragged array datatype for Python.☆20May 2, 2023Updated 2 years ago
- draw a beautiful christmas tree in ascii using Golang☆15Oct 19, 2018Updated 7 years ago
- Collaborative Game of Life☆14Jun 27, 2025Updated 9 months ago
- In this project I tried to implement a self drivng car, that plays Trackmania Nations by capturing the screen. The steering commands are …☆18Jan 15, 2018Updated 8 years ago
- Langage et environnements dédiés à l’algorithmique.☆13Jan 2, 2020Updated 6 years ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated 7 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Programming Projects for Intermediate Learners☆13Sep 3, 2021Updated 4 years ago
- ☆25Aug 1, 2022Updated 3 years ago
- Make LilyPond's notational elements available in Lua- and XeLaTeX☆30Sep 27, 2020Updated 5 years ago
- Collection of in-progress libraries for entity neural networks.☆30Jun 24, 2022Updated 3 years ago
- Apple Silicon TSO Enabler for Linux☆17Nov 11, 2025Updated 4 months ago
- RISC-V instruction encoding/decoding☆13Mar 22, 2023Updated 3 years ago
- ☆21Mar 5, 2023Updated 3 years ago
- Handle Fast Signal Traces (fst) in Python☆14Jun 11, 2025Updated 9 months ago
- ☆23Apr 28, 2022Updated 3 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.
- ☆10Oct 15, 2021Updated 4 years ago
- RISC-V Formal in Chisel☆13Apr 9, 2024Updated 2 years ago
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated 9 months ago
- VCD Parser for Node.js☆11Jan 7, 2023Updated 3 years ago
- Program analysis tools built on tree-sitter (https://github.com/tree-sitter/tree-sitter).☆63Nov 24, 2025Updated 4 months ago
- Formal verification tools for Chisel and RISC-V☆13Mar 29, 2026Updated last week
- BOOM's Simulation Accelerator.☆13Dec 16, 2021Updated 4 years ago