☆42Aug 14, 2017Updated 8 years ago
Alternatives and similar repositories for TerpreT
Users that are interested in TerpreT are comparing it to the libraries listed below
Sorting:
- ☆44Apr 5, 2023Updated 2 years ago
- purple: compiling a reflective language☆33Feb 27, 2026Updated 3 weeks ago
- Type-and-example-driven program synthesis for functional programming languages☆27Jun 30, 2019Updated 6 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆50Mar 24, 2025Updated 11 months ago
- Program Synthesis☆148Mar 8, 2021Updated 5 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 11 years ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Mar 5, 2026Updated 2 weeks ago
- The Platform for Self-Improving Code. Ideal for GPU kernels, ML model development, feature engineering, prompt engineering, and other opt…☆36Updated this week
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Nov 21, 2022Updated 3 years ago
- software archaeology of reflective towers of interpreters☆17Jun 6, 2025Updated 9 months ago
- Pytorch implementation of the paper 'Compositional language emerge in a neural iterated learning' (ICLR 2020).☆16Oct 14, 2021Updated 4 years ago
- ☆10May 24, 2021Updated 4 years ago
- Collapsing Towers of Interpreters (in Scheme)☆59Aug 22, 2018Updated 7 years ago
- Learning programs with the Exploration-Compression algorithm☆10May 17, 2018Updated 7 years ago
- Scrap Your Boilerplate for MetaOCaml with modular implicits☆18Dec 21, 2015Updated 10 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆28Dec 18, 2017Updated 8 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Dec 19, 2019Updated 6 years ago
- Featherweight embedded probabilistic programming language and compositional inference programming library☆18May 15, 2020Updated 5 years ago
- First two front-end phases of a language-independent compiler implemented in C++☆14Jul 27, 2020Updated 5 years ago
- ☆57May 5, 2018Updated 7 years ago
- This is the code-base that I personally use as the starting point for any reinforcement learning codebase with the purpose of fast experi…☆13Jan 4, 2023Updated 3 years ago
- LAGr: Label Aligned Graphs for Better Systematic Generalization in Semantic Parsing☆10Jun 1, 2022Updated 3 years ago
- Interface for generating Categorical Query Language files to merge/migrate data between databases☆14Aug 9, 2021Updated 4 years ago
- Tensorflow singularity container☆15Feb 21, 2017Updated 9 years ago
- This repository the benchmark with 3902 defects extracted from C programs in Codeforces (http://codeforces.com/)☆44Nov 18, 2020Updated 5 years ago
- Code & experiments for MINDWALC: Mining Interpretable, Discriminative Walks for Classification of Nodes in a Graph☆13Jul 4, 2024Updated last year
- YAP is a high-performance Prolog compiler☆12Mar 11, 2011Updated 15 years ago
- Basic LLVM passes☆17Oct 7, 2018Updated 7 years ago
- A library for writing chemical and biological data management systems☆10Oct 24, 2019Updated 6 years ago
- Learning to Auto-Complete using RNN Language Models☆155Jan 17, 2017Updated 9 years ago
- Proof system for Fact Verification☆15Jun 7, 2022Updated 3 years ago
- ☆12Jul 28, 2024Updated last year
- ☆19Feb 22, 2017Updated 9 years ago
- ☆104Jul 8, 2020Updated 5 years ago
- ☆58May 26, 2016Updated 9 years ago
- mixed membership stochastic block model☆13Jun 8, 2016Updated 9 years ago