A scalable abstraction learning library
☆85Sep 10, 2025Updated 5 months ago
Alternatives and similar repositories for stitch
Users that are interested in stitch are comparing it to the libraries listed below
Sorting:
- ☆44Apr 5, 2023Updated 2 years ago
- A Declarative Language for Expressing Partial World Knowledge to Reinforcement Learning Agents☆16Jan 19, 2024Updated 2 years ago
- ☆550Jul 1, 2023Updated 2 years ago
- Language-annotated Abstraction and Reasoning Corpus☆99May 20, 2023Updated 2 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
- Code for "Learning Compositional Rules via Neural Program Synthesis"☆60Dec 7, 2020Updated 5 years ago
- A Java program synthesizer.☆22Mar 28, 2019Updated 6 years ago
- ☆23Oct 31, 2023Updated 2 years ago
- An environment for learning formal mathematical reasoning from scratch☆72Aug 18, 2024Updated last year
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Oct 25, 2024Updated last year
- Instant Neural Graphics Primitives from scratch, zero dependencies. Learning by doing.☆10Aug 18, 2023Updated 2 years ago
- Papers read during our weekly reading group☆12Sep 17, 2024Updated last year
- A domain-specific probabilistic programming language for modeling and inference with language models☆142Apr 29, 2025Updated 10 months ago
- Probabilistic programming system for fast and exact symbolic inference☆86Jul 10, 2024Updated last year
- ☆11Nov 10, 2023Updated 2 years ago
- What makes Viewstamped Replication tick?☆14Nov 30, 2023Updated 2 years ago
- ☆14Feb 1, 2024Updated 2 years ago
- Python bindings for egg☆50Jan 17, 2023Updated 3 years ago
- Pragmatic models for generating and following instructions☆13Dec 22, 2019Updated 6 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 3 years ago
- ☆30Oct 2, 2023Updated 2 years ago
- A library for research in unnatural language semantics☆14Feb 4, 2026Updated last month
- Project investigating human physical construction behavior☆12Oct 6, 2023Updated 2 years ago
- Credici: Credal Inference for Causal Inference☆20May 17, 2025Updated 9 months ago
- SciFe: Scala Framework for Efficient Generation of Data Structures with Invariants☆15Mar 15, 2024Updated last year
- ☆16Dec 23, 2021Updated 4 years ago
- ☆14Jun 18, 2023Updated 2 years ago
- The implementation for the paper `Byte-Pair Encoding for Text-to-SQL Generation`.☆14Feb 26, 2020Updated 6 years ago
- An itree-like data-structure to additionally support internal non-determinism☆20Nov 25, 2025Updated 3 months ago
- An experimental library for metaprogramming with algebraic effects and handlers☆28Updated this week
- Moatless Testbeds allows you to create isolated testbed environments in a Kubernetes cluster where you can apply code changes through git…☆14Apr 9, 2025Updated 10 months ago
- ☆12Apr 17, 2025Updated 10 months ago
- Probabilistic LLM evaluations. [CogSci2023; ACL2023]☆73Jul 27, 2024Updated last year
- Dyna built on R-exprs (First Prototype)☆17Mar 7, 2022Updated 3 years ago
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆37Dec 18, 2025Updated 2 months ago
- Differentiable Rasteriser implemented in JAX. Reference: https://github.com/erwincoumans/tinyrenderer, https://github.com/ssloy/tinyrende…☆79Nov 14, 2023Updated 2 years ago
- Collection of utilities / helper scripts to make life easier on our HPC clusters.☆22Jan 5, 2026Updated last month
- Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions☆48Sep 13, 2025Updated 5 months ago
- a Java front-end for Sketch synthesis tool☆20Jan 20, 2025Updated last year