Alternatives and similar repositories for program-induction

Users that are interested in program-induction are comparing it to the libraries listed below

• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 2 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated this week
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆75Updated 3 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• alexander-turner / attainable-utility-preservation
  ☆12Updated 4 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆25Updated 2 years ago
• caphindsight / ergothic
  Rust library for setting up and running distributed Monte-Carlo statistical simulations. Designed primarily for lattice QCD.
  ☆41Updated 5 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆67Updated 9 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• kkimdev / autograd
  Automatic differentiation library written in Rust.
  ☆8Updated 8 years ago
• 51alg / TerpreT
  ☆43Updated 7 years ago
• elinorbgr / loopybayesnet
  Rust implementation of the Loopy Belief propagation algorithm for inference in Bayesian Networks
  ☆35Updated 3 years ago
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• advancedresearch / advancedresearch.github.io
  The website for the AdvancedResearch community
  ☆20Updated this week
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last month
• facebookresearch / productive_concept_learning
  Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…
  ☆17Updated 3 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆35Updated 2 weeks ago
• Ferric-AI / ferric
  A Probabilistic Programming Language In Rust
  ☆39Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 2 months ago
• dyth / causal-entropic-forces
  An attempt to reimplement the 2013 paper by Wissner-Gross & Freer
  ☆10Updated 5 months ago
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 8 months ago
• riadas / Autumn.jl
  Library for causal and probabilistic inference in Julia
  ☆11Updated 4 months ago
• advancedresearch / avalog
  An experimental implementation of Avatar Logic with a Prolog-like syntax
  ☆68Updated last year
• softdevteam / vob
  Vector of Bits
  ☆16Updated 2 months ago
• novacrazy / dual_num
  Dual Number library for Rust
  ☆17Updated 4 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 2 years ago