General purpose program synthetiser with existing Programming By Examples (PBE) pipeline
☆25Jan 3, 2026Updated 9 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 …☆51Oct 25, 2024Updated 2 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆13Jan 11, 2025Updated last year
- ☆17Jun 29, 2026Updated 4 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Sep 7, 2023Updated 3 years ago
- AI swarm framework. Spawn agents, connect them however you want, let them talk. That's it. Pure chaos.☆12Oct 3, 2025Updated last year
- 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.
- ☆11Aug 1, 2026Updated 2 months ago
- My LaTeX Packages☆15Updated this week
- Deployed version of Tableaunoir. Do not modify this repository.☆11Apr 19, 2026Updated 6 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- DepTrim automatically specializes the software supply chain of dependencies in Maven projects https://arxiv.org/pdf/2302.08370☆15Updated this week
- Text-to-SQL Evaluation Toolkit: A modular framework for evaluating natural language to SQL systems☆18Updated this week
- ☆23Jun 22, 2019Updated 7 years ago
- This repository contains some documentation and illustration in Tableaunoir.☆10Feb 26, 2026Updated 8 months ago
- Microsoft x Rise DC x Hack4Impact-UMD☆14Dec 2, 2025Updated 10 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A parser class for simple formulae.☆11Feb 21, 2017Updated 9 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 4 years ago
- An(other) implementation of Explicit Duration Hidden Semi-Markov Models in Python 3☆10May 26, 2024Updated 2 years ago
- Flash-GMM, a memory-efficient GPU kernel that unlocks GMM soft clustering at billion-scale☆25Sep 30, 2026Updated last month
- Beagle is designed to be the unified platform for the broader Recursive Self-Improvement (RSI) ecosystem. Think of it as Hugging Face Tr…☆103Oct 23, 2026Updated last week
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆13Oct 26, 2025Updated last year
- A musical ode to musical code☆17Jan 24, 2022Updated 4 years ago
- KB construction from LLMs - ACL 2025 paper: "Enabling LLM Knowledge Analysis via Extensive Materialization""☆12Oct 2, 2025Updated last year
- ☆18Jan 3, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Efficient numpy-like ragged array datatype for Python.☆20May 2, 2023Updated 3 years ago
- A curated resource for interactive evaluation: framework, taxonomy, design principles, and benchmark collection.☆24May 22, 2026Updated 5 months ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated last year
- Data-driven scientific discovery via Bayesian surprise☆16Updated this week
- A tool for drawing derivation trees of Tau Prolog☆12Feb 23, 2022Updated 4 years ago
- Utilize FFMPEG to validate a stream is running for an arbitrary number of HLS streams☆10Aug 21, 2025Updated last year
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated last year
- IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/☆12Aug 5, 2024Updated 2 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.
- Book, website, and skills for MAGE: the Model-Based Agentic Software Engineering framework☆25Updated this week
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- coq-synthesis is a Coq plugin for proof generation and next tactic prediction☆13Jul 26, 2024Updated 2 years ago
- Official Implementation of "Circuit Transformer: A Transformer That Preserves Logical Equivalence"☆29Mar 13, 2025Updated last year
- Turn any snippet of code into a hadouken code gif straight from your browser☆18May 22, 2022Updated 4 years ago
- Implementation and experiment of the MusGConv paper.☆15Sep 6, 2024Updated 2 years ago
- Langage et environnements dédiés à l’algorithmique.☆13Jan 2, 2020Updated 6 years ago