| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
Modeling agents with probabilistic programs
Deductive verification infrastructure for probabilistic programs
A project that should make bayesian networks more accessible to a wider audience. Primarily functions as an educational tool. Try at:
To associate your repository with the probabilistic-programs topic, visit your repo's landing page and select "manage topics."
| Back | FazBrowse Home | New Git URL |