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
• RichardEvans / apperception
  ☆79Updated 4 years ago
• piantado / pychuriso
  Python implementation of churiso
  ☆18Updated 4 years ago
• piantado / LOTlib
  Lanugage of Thought (LOT) models in Python.
  ☆33Updated 5 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆26Updated 2 weeks ago
• CLMBRs / ultk
  A library for research in unnatural language semantics
  ☆11Updated last week
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆60Updated 4 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated last year
• bdusell / nondeterministic-stack-rnn
  Code for the paper "The Surprising Computational Power of Nondeterministic Stack RNNs" (DuSell and Chiang, 2023)
  ☆18Updated last year
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• 51alg / TerpreT
  ☆43Updated 7 years ago
• kach / memo
  A domain-specific probabilistic programming language for reasoning about reasoning
  ☆66Updated last week
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 3 weeks ago
• namedtensor / notation
  ☆108Updated 2 years ago
• FutureComputing4AI / Learning-with-Holographic-Reduced-Representations
  ☆27Updated 3 years ago
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆72Updated 2 years ago
• jacobandreas / bibs
  Annotated bibliographies.
  ☆40Updated 5 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆66Updated 8 months ago
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆206Updated last year
• ilaspltd / ILASP-releases
  ☆37Updated 5 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated last month
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆20Updated 2 years ago
• lio-wong / dreamcoder
  ☆65Updated 3 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆86Updated last year
• tommccoy1 / inductive-bias-distillation
  ☆13Updated last month
• pentagonalize / Transformer-Cookbook
  ☆13Updated 3 months ago
• google-deepmind / synjax
  ☆246Updated 7 months ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• psoulos / role-decomposition
  ☆11Updated 5 years ago
• google-research / crossbeam
  ☆43Updated 2 years ago