Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
☆107Sep 1, 2019Updated 6 years ago
Alternatives and similar repositories for deep-coder
Users that are interested in deep-coder are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of DeepCoder's model in tensorflow☆21Oct 7, 2017Updated 8 years ago
- Deepcoder paper implementation☆121May 2, 2023Updated 2 years ago
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆64Nov 28, 2022Updated 3 years ago
- This project has been moved from a private repository.☆11May 4, 2018Updated 7 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Nov 21, 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.
- ☆40Apr 17, 2019Updated 6 years ago
- Program Synthesis☆150Mar 8, 2021Updated 5 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆39Mar 6, 2023Updated 3 years ago
- Learning programs with the Exploration-Compression algorithm☆10May 17, 2018Updated 7 years ago
- Code repository for GNU/Linux Rapid Embedded Programming, Published by Packt☆24Jan 30, 2023Updated 3 years ago
- Labs for the course on Meta Learning at BITS-Goa☆34Mar 13, 2021Updated 5 years ago
- Filter for Adblock Plus, uBlock Origin, etc. for scam, phishing, deceptive content, exploit, and tech support scam sites. PLEASE SUBMIT P…☆21Mar 27, 2026Updated 2 weeks ago
- Repository for SAiDL Summer 2021 Induction Assignment☆21Jul 5, 2021Updated 4 years ago
- uBlock/Adblock filters for NSA list of known compromised servers☆29Jun 28, 2018Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context☆17May 3, 2024Updated last year
- Grammar prioritization support for EUSolver.☆14Jul 18, 2019Updated 6 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Feb 3, 2023Updated 3 years ago
- Implementation of a new Quantum Oracle for solving the Max-Cut Problem with Grover Search Algorithm☆11Sep 16, 2024Updated last year
- A beginners guide to all things robotics☆66Feb 23, 2024Updated 2 years ago
- PoCs discovered through fuzzing which resulted in a CVE assignment.☆19Feb 14, 2020Updated 6 years ago
- Boiler plate code for Torch based ML projects☆10Jul 14, 2021Updated 4 years ago
- A Python interface to the MAGMA libraries☆10Sep 3, 2016Updated 9 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.
- Search and download accepted papers from machine learning conferences☆34Apr 10, 2023Updated 3 years ago
- Haskell binding for Menoh DNN inference library☆12Nov 30, 2018Updated 7 years ago
- ☆17Apr 18, 2019Updated 6 years ago
- python tree algorithms for nearest neighbor search☆13Aug 25, 2011Updated 14 years ago
- An implementation of Long Short Term Memory in Java.☆29May 4, 2013Updated 12 years ago
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- System for synthesizing Java API idioms, powered by Neural Sketch Learning☆280Jun 14, 2023Updated 2 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 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.
- C++ implementation of an approximate distinct counter by HIP estimator on HyperLogLog☆15Dec 3, 2016Updated 9 years ago
- Domain blocklist covering manually spotted trackers, marketing bullshit, abusive domains, telemetry and other nuisances.☆12Sep 20, 2021Updated 4 years ago
- Admin Dashboard for PiRouter☆43Feb 9, 2018Updated 8 years ago
- Synthesis with Metaheuristics - Genetic Programming in Scala☆15Oct 4, 2019Updated 6 years ago
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Dec 7, 2020Updated 5 years ago
- A tool for identifying patch correctness in test-based program repair☆20Feb 17, 2020Updated 6 years ago
- A library for creating n-grams, skip-grams, bag of words, bag of n-grams, bag of skip-grams.☆14Mar 8, 2022Updated 4 years ago