A library for program induction and learning representations.
☆32Dec 18, 2023Updated 2 years ago
Alternatives and similar repositories for program-induction
Users that are interested in program-induction are comparing it to the libraries listed below
Sorting:
- 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 generative model of compositionality in symmetric monoidal (Kleisli) categories☆12Oct 4, 2023Updated 2 years ago
- Vector of Bits☆17Aug 14, 2025Updated 6 months ago
- Rust library for using the backblaze b2 api.☆17Aug 26, 2022Updated 3 years ago
- Implementation of Variational Intrinsic Control in tensorflow☆11Apr 5, 2017Updated 8 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆15Jan 4, 2022Updated 4 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- Option Critic with subgoal discovery by spectral decomposition of the Successor Features Matrix or clustering in Successor features space…☆24Nov 29, 2018Updated 7 years ago
- notebooks, quizes, exams and labs for nyu psychology lab courses☆19Nov 7, 2024Updated last year
- A scalable abstraction learning library☆85Sep 10, 2025Updated 5 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆20Jan 20, 2026Updated last month
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆43Mar 30, 2023Updated 2 years ago
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Mar 13, 2023Updated 2 years ago
- Derive forms from structs.☆22Aug 8, 2024Updated last year
- Tensorflow implementation of Spike-GAN, which allows generating realistic patterns of neural activity whose statistics approximate a give…☆23Oct 2, 2018Updated 7 years ago
- A file-based mirror of the nLab wiki (HTML format).☆28Updated this week
- A wrapper around UUIDs to provide type safety☆40Feb 12, 2026Updated 2 weeks ago
- Mitochondria is the powerhouse of the `Cell`☆30Nov 20, 2016Updated 9 years ago
- Succeeded by SyntaxDot: https://github.com/tensordot/syntaxdot☆26Mar 19, 2021Updated 4 years ago
- The Cheddar GLSL superset language☆27Sep 30, 2018Updated 7 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆35Updated this week
- Python implementation of Bayesian Program Learning tools (with PyTorch)☆74Jun 27, 2022Updated 3 years ago
- An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.☆36Jan 17, 2020Updated 6 years ago
- A fast, brute force, automatic theorem prover for first order logic☆42Sep 20, 2024Updated last year
- Backpropagation training of neural networks with Hebbian plastic connections☆31Jun 30, 2021Updated 4 years ago
- A linear solver designed to be easy to use with Rust enums.☆34Apr 11, 2021Updated 4 years ago
- Formatting Cargo.toml☆32Feb 7, 2026Updated 2 weeks ago
- BitForex API Document☆11Jul 25, 2018Updated 7 years ago
- CTP with python3.4.3☆10Aug 1, 2017Updated 8 years ago
- Clover: Closed-Loop Verifiable Code Generation☆42May 12, 2025Updated 9 months ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- ☆12Jun 18, 2024Updated last year
- A CLI tool that allows you to run and test your Near Social Widgets locally using just your preferred code editor and your default browse…☆12Sep 8, 2023Updated 2 years ago
- Library for generating openscad code using rust☆35Nov 27, 2022Updated 3 years ago
- emotion recognition through eeg by using HOS method☆10Dec 29, 2021Updated 4 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- AWS virtual infrastructure simulator for training reinforcement learning based cloud capacity management systems☆11Sep 23, 2020Updated 5 years ago