LFY/lfy.github.com
User page
Discovered public repositories for LFY in the GitHub catalog.
User page
SMT-based probabilistic programming with delimited continuations
First-order probabilistic programming in Python
Probabilistic programming on SMT solvers
A Church implementation that compiles to Javascript.
bayesian program merging prototype