cartazio/observable
A toy embedded language for probabilistic programming.
A community-driven framework for managing your zsh configuration. Includes optional plugins for various tools (rails, git, OSX, brew,...), over 40 terminal themes, and an auto-updating tool so that you can keep up with the latest improvements from the community.
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