cartazio/observable
A toy embedded language for probabilistic programming.
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A toy embedded language for probabilistic programming.
Public repository.
Automatically exported from code.google.com/p/omega
mirror of spin model checker