Alternatives and similar repositories for memo

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

• genlm / llamppl
  Probabilistic programming with large language models
  ☆144Updated last week
• piantado / LOTlib3
  Language of thought library for python 3
  ☆50Updated last year
• lio-wong / dreamcoder
  ☆73Updated 3 years ago
• piantado / Fleet
  ☆63Updated 6 months ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆83Updated 2 months ago
• ellisk42 / humanlike_fewshot_learning
  ☆30Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆70Updated last year
• aswinpaul / dpefe_2023
  On efficient computation in active inference
  ☆17Updated last year
• bayesianempirimancer / pyDMBD
  Dynamic Markov Blanket Discovery
  ☆15Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆85Updated 8 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆137Updated 6 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆112Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆27Updated 3 weeks ago
• RichardEvans / apperception
  ☆81Updated 4 years ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 3 months ago
• thebuckleylab / jpc
  Flexible Inference for Predictive Coding Networks in JAX.
  ☆59Updated last week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆244Updated last month
• BasisResearch / chirho
  An experimental language for causal reasoning
  ☆238Updated last month
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆96Updated 2 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• Tractables / pyjuice
  Scalable training and inference for Probabilistic Circuits
  ☆86Updated this week
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆48Updated last year
• adamimos / epsilon-transformers
  epsilon machines and transformers!
  ☆33Updated 4 months ago
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆124Updated 2 months ago
• UCSD-PL / proverbot9001
  ☆43Updated last week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆74Updated 10 months ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆195Updated last month
• genjax-community / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆22Updated last year