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
  ☆133Updated last month
• piantado / LOTlib3
  Language of thought library for python 3
  ☆50Updated last year
• ellisk42 / humanlike_fewshot_learning
  ☆29Updated last year
• lio-wong / dreamcoder
  ☆71Updated 3 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆81Updated last week
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 3 weeks ago
• piantado / Fleet
  ☆63Updated 3 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆72Updated last year
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 5 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
• aswinpaul / dpefe_2023
  On efficient computation in active inference
  ☆17Updated last year
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆133Updated 4 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆47Updated 10 months ago
• thebuckleylab / jpc
  Flexible Inference for Predictive Coding Networks in JAX.
  ☆53Updated this week
• 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…
  ☆92Updated 2 years ago
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated 2 weeks ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆108Updated 10 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago
• cmu-l3 / llmlean
  LLMs + Lean, on your laptop or in the cloud
  ☆176Updated last month
• ilaspltd / ILASP-releases
  ☆37Updated 9 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆236Updated 3 weeks ago
• RichardEvans / apperception
  ☆80Updated 4 years ago
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆64Updated 6 months ago
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆100Updated 9 months ago
• FieteLab / MESH
  ☆13Updated 3 years ago
• adamimos / epsilon-transformers
  epsilon machines and transformers!
  ☆30Updated last month
• bayesianempirimancer / pyDMBD
  Dynamic Markov Blanket Discovery
  ☆13Updated last year
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆255Updated last year