Topic: "probabilistic-programs"
agentmodels/agentmodels.org
Modeling agents with probabilistic programs
Language: TeX - Size: 16.6 MB - Last synced at: about 1 year ago - Pushed at: almost 6 years ago - Stars: 65 - Forks: 17
moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
Language: Rust - Size: 13.2 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 18 - Forks: 7
CauseCade/CauseCade
A project that should make bayesian networks more accessible to a wider audience. Primarily functions as an educational tool. Try at:
Language: Dart - Size: 1.45 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
