Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
☆108Sep 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
Sorting:
- 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
- Program Synthesis☆148Mar 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
- Yet another anti-bullshit filter list.☆29Updated this week
- Filter for Adblock Plus, uBlock Origin, etc. for scam, phishing, deceptive content, exploit, and tech support scam sites. PLEASE SUBMIT P…☆21Sep 14, 2023Updated 2 years ago
- A blocklist for Pihole from PhishTank☆29Jun 17, 2023Updated 2 years ago
- ☆18Oct 12, 2014Updated 11 years ago
- uBlock/Adblock filters for NSA list of known compromised servers☆29Jun 28, 2018Updated 7 years ago
- 🐍 Deep Learning Type Inference of Python Function Signatures using their Natural Language Context☆17May 3, 2024Updated last year
- Generate Solidity Code from its AST☆15Sep 1, 2016Updated 9 years ago
- Detection tool for the MacOSX based Silver Sparrow malware☆11Feb 22, 2021Updated 5 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Feb 3, 2023Updated 3 years ago
- PoCs discovered through fuzzing which resulted in a CVE assignment.☆19Feb 14, 2020Updated 6 years ago
- Program Synthesis Course☆267Mar 15, 2024Updated 2 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
- ☆17Apr 18, 2019Updated 6 years ago
- python tree algorithms for nearest neighbor search☆13Aug 25, 2011Updated 14 years ago
- To Mock a Mockingbird, formalized in Coq☆11Mar 9, 2016Updated 10 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- System for synthesizing Java API idioms, powered by Neural Sketch Learning☆280Jun 14, 2023Updated 2 years ago
- Conversational Neuro-Symbolic Commonsense Reasoning☆26Jun 18, 2020Updated 5 years ago
- ☆13Sep 24, 2022Updated 3 years ago
- Saleae Serial Peripheral Interface (SPI) Analyzer☆24Jul 2, 2025Updated 8 months 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
- Clone of JSAI static analysis framework☆13Jul 29, 2017Updated 8 years ago
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆39May 21, 2020Updated 5 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
- An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonw…☆102Mar 24, 2023Updated 2 years ago
- This PoC illustrates our work on asymmetric white-box cryptography, it can be used to generate a set of lookup tables used for lattice-ba…☆22Mar 24, 2021Updated 4 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Simple extension for the Qt Test library that allow running multiple tests cases in one application☆10May 30, 2018Updated 7 years ago