GitHub topics: probabilistic-programs
moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
Language: Rust - Size: 31.3 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 23 - Forks: 8
agentmodels/agentmodels.org
Modeling agents with probabilistic programs
Language: TeX - Size: 16.6 MB - Last synced at: over 1 year ago - Pushed at: about 6 years ago - Stars: 65 - Forks: 17
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: about 2 years ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0
