Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: probabilistic-programs
moves-rwth/caesar
Deductive verification infrastructure for probabilistic programs
Language: Rust - Size: 7.94 MB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 12 - Forks: 2
agentmodels/agentmodels.org
Modeling agents with probabilistic programs
Language: TeX - Size: 16.6 MB - Last synced: 22 days ago - Pushed: over 4 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: 10 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0