Alternatives and similar repositories for Fleet:

Users that are interested in Fleet are comparing it to the libraries listed below

• piantado / LOTlib3
  Language of thought library for python 3
  ☆48Updated last year
• piantado / LOTlib
  Lanugage of Thought (LOT) models in Python.
  ☆33Updated 4 years ago
• piantado / pychuriso
  Python implementation of churiso
  ☆18Updated 4 years ago
• RichardEvans / apperception
  ☆79Updated 3 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated last year
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆86Updated last year
• kach / memo
  A domain-specific probabilistic programming language for reasoning about reasoning
  ☆63Updated last month
• namedtensor / notation
  ☆108Updated 2 years ago
• genlm / llamppl
  Probabilistic programming with large language models
  ☆109Updated this week
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆26Updated 2 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 9 months ago
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆71Updated 2 years ago
• bdusell / nondeterministic-stack-rnn
  Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)
  ☆18Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• ellisk42 / humanlike_fewshot_learning
  ☆27Updated last year
• lio-wong / dreamcoder
  ☆63Updated 3 years ago
• brendenlake / CC-site
  Psych-GA.2207 Categories and Concepts
  ☆16Updated last year
• 51alg / TerpreT
  ☆43Updated 7 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 3 weeks ago
• jacobandreas / bibs
  Annotated bibliographies.
  ☆40Updated 5 years ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated this week
• keyonvafa / world-model-evaluation
  ☆55Updated 5 months ago
• google-deepmind / synjax
  ☆246Updated 6 months ago
• jtcbrule / whittemore
  Causal programming in Clojure
  ☆26Updated 3 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆20Updated last year
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 5 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated last month