Alternatives and similar repositories for memo

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

• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated this week
• genlm / llamppl
  Probabilistic programming with large language models
  ☆119Updated last month
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 2 months ago
• piantado / LOTlib3
  Language of thought library for python 3
  ☆49Updated last year
• lio-wong / dreamcoder
  ☆66Updated 3 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• probcomp / bayes3d
  ☆26Updated last week
• piantado / Fleet
  ☆61Updated 3 weeks ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆26Updated last week
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆67Updated 9 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last month
• ComputationalPsychiatry / ActiveInference.jl
  A Julia Package for Active Inference
  ☆25Updated last week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆202Updated 3 months ago
• pitmonticone / LeanProject
  Template for blueprint-driven formalization projects in Lean.
  ☆54Updated this week
• thebuckleylab / jpc
  Flexible Inference for Predictive Coding Networks in JAX.
  ☆45Updated this week
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• aswinpaul / dpefe_2023
  On efficient computation in active inference
  ☆17Updated last year
• ellisk42 / humanlike_fewshot_learning
  ☆28Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆105Updated 7 months ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆25Updated 3 weeks ago
• ToposInstitute / CatColab
  A collaborative environment for formal, interoperable, conceptual modeling
  ☆78Updated this week
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆68Updated 6 months ago
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆107Updated 7 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆130Updated last month
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆29Updated last year
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆30Updated 2 months ago
• oOo0oOo / lean-lsp-mcp
  Lean Theorem Prover MCP
  ☆33Updated this week
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆64Updated 4 months ago
• UCSD-PL / proverbot9001
  ☆42Updated 4 months ago
• google-research / crossbeam
  ☆43Updated 2 years ago