Alternatives and similar repositories for memo:

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

• probcomp / hfppl
  Probabilistic programming with HuggingFace language models
  ☆102Updated this week
• CatherineWong / dreamcoder
  ☆62Updated 3 years ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆77Updated last year
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated last week
• piantado / LOTlib3
  Language of thought library for python 3
  ☆48Updated last year
• ellisk42 / humanlike_fewshot_learning
  ☆26Updated last year
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆100Updated 5 months ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆65Updated 7 months ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆83Updated this week
• piantado / Fleet
  ☆61Updated 3 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 8 months ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆27Updated last year
• google-research / crossbeam
  ☆43Updated last year
• nathanael-fijalkow / DeepSynth
  General-purpose program synthesiser
  ☆42Updated 4 months ago
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆67Updated 3 months ago
• facebookresearch / LeanUniverse
  LeanUniverse: A Library for Consistent and Scalable Lean4 Dataset Management
  ☆59Updated 2 months ago
• cmu-l3 / ntp-toolkit
  Neural theorem proving toolkit: data extraction tools for Lean 4
  ☆22Updated last week
• vtabbott / Algebraic-NCD
  A package for defining deep learning models using categorical algebraic expressions.
  ☆60Updated 7 months ago
• probcomp / bayes3d
  ☆25Updated this week
• wellecks / llmstep
  llmstep: [L]LM proofstep suggestions in Lean 4.
  ☆126Updated last year
• Mech-Interp / PySvelte
  A library for bridging Python and HTML/Javascript (via Svelte) for creating interactive visualizations
  ☆14Updated 11 months ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆54Updated 2 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• probcomp / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆19Updated 8 months ago
• gpoesia / minimo
  Learning Formal Mathematics from Intrinsic Motivation
  ☆25Updated last week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆199Updated 3 weeks ago
• aswinpaul / dpefe_2023
  On efficient computation in active inference
  ☆16Updated 9 months ago
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆100Updated 3 months ago
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆23Updated 2 weeks ago