HOUDINI: Lifelong Learning as Program Synthesis
☆49Mar 24, 2025Updated 11 months ago
Alternatives and similar repositories for houdini
Users that are interested in houdini are comparing it to the libraries listed below
Sorting:
- ☆13Nov 29, 2017Updated 8 years ago
- LIDA Software Framework☆10Nov 21, 2014Updated 11 years ago
- Tracking events, CfPs, abstracts, slides, and all other even related things☆22Oct 4, 2019Updated 6 years ago
- 🔍 Code Search Tools & Experiments☆12Updated this week
- Eclipse plugin that synthesizes real Java code☆26Aug 20, 2014Updated 11 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Oct 17, 2019Updated 6 years ago
- ☆42Aug 14, 2017Updated 8 years ago
- The implementation of the IJCAI 2018 paper: Code Completion with Neural Attention and Pointer Networks☆18Sep 11, 2019Updated 6 years ago
- JaVerT2.0 - Compositional Symbolic Execution for JavaScript☆20Apr 22, 2020Updated 5 years ago
- PyTorch library for synthesizing programs from natural language☆18Jul 25, 2024Updated last year
- ☆20Jun 29, 2017Updated 8 years ago
- Karel dataset for program synthesis and program induction☆79Dec 24, 2017Updated 8 years ago
- AE-solver and Skolemizer☆17Dec 9, 2024Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆103Jan 26, 2021Updated 5 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Apr 5, 2020Updated 5 years ago
- This tool enriches ltl2ba, which transofrms LTL formulas into Buchi Automatons, with graph generation capabilities.☆25Sep 15, 2017Updated 8 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆32Dec 9, 2025Updated 2 months ago
- Framework of DataLog Neural Program Synthesis☆26Apr 2, 2019Updated 6 years ago
- Common Music 2.12 by Rick Taube. Also check out the related cm-incudine, cm-fomus, cm-utils and cm-svg repos here.☆27Nov 16, 2025Updated 3 months ago
- Code for the paper "A Structural Model for Contextual Code Changes"☆32Oct 25, 2023Updated 2 years ago
- i bet you there is a typesystem behind music☆32Oct 24, 2018Updated 7 years ago
- A SyGuS Solver☆29May 18, 2025Updated 9 months ago
- Exact Inference Engine for Probabilistic Programs☆135Mar 13, 2025Updated 11 months ago
- Euphony: a probabilistic model-guided program synthesizer☆27Nov 21, 2022Updated 3 years ago
- Quickly edit parameters and snippets with your favorite editor.☆32Jan 25, 2018Updated 8 years ago
- Python notebooks for a tutorial on neurosymbolic programming☆77Apr 15, 2024Updated last year
- ☆550Jul 1, 2023Updated 2 years ago
- NLP2Code: Code Snippet Content Assist via Natural Language Tasks☆34Dec 5, 2019Updated 6 years ago
- Program Synthesis☆147Mar 8, 2021Updated 4 years ago
- Counts commits across all organisation repos and gives you some pretty charts☆12Nov 16, 2023Updated 2 years ago
- ☆14Feb 25, 2026Updated last week
- Pseudopotential converter from upf to psp8☆11Jan 25, 2023Updated 3 years ago
- Code for "CoaCor: Code Annotation for Code Retrieval with Reinforcement Learning" (WWW 2019)☆37Apr 21, 2020Updated 5 years ago
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- 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
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆87Mar 15, 2025Updated 11 months ago
- A plugin for code generation in PyCharm/IntelliJ using tranX☆36Sep 22, 2025Updated 5 months ago
- ☆36Dec 20, 2024Updated last year
- source code for 'Improving automatic source code summarization via deep reinforcement learning'☆78Jun 2, 2021Updated 4 years ago