Alternatives and similar repositories for program-induction:

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

• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆75Updated last year
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 4 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 2 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆73Updated 2 years ago
• oracleofnj / einsum
  Einstein summation for Rust
  ☆34Updated 3 years ago
• google-research / crossbeam
  ☆43Updated last year
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last year
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 6 years ago
• pengowen123 / cmaes
  A Rust implementation of the CMA-ES optimization algorithm.
  ☆33Updated last month
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 3 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆59Updated 4 years ago
• Tractables / Dice.jl
  ☆18Updated 3 weeks ago
• 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
• DennisGross / COOL-MC
  The interface between Model Checking and Reinforcement Learning.
  ☆14Updated 4 months ago
• piantado / Fleet
  ☆61Updated last month
• advancedresearch / pocket_prover
  A fast, brute force, automatic theorem prover for first order logic
  ☆39Updated 4 months ago
• riadas / Autumn.jl
  Library for causal and probabilistic inference in Julia
  ☆11Updated this week
• 51alg / TerpreT
  ☆42Updated 7 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 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
• paulfchristiano / amplification
  ☆9Updated 5 years ago
• srush / learns-dex
  ☆33Updated 4 years ago
• kkimdev / autograd
  Automatic differentiation library written in Rust.
  ☆8Updated 8 years ago
• Metadiff / gir
  Graph Intermediate Representation (GIR) library for ML
  ☆22Updated 7 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆77Updated 6 months ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆18Updated 3 years ago
• RichardEvans / apperception
  ☆73Updated 3 years ago