tgiannak/gamble
Probabilistic Programming
Haskell Open Recursive Types Examples
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Probabilistic Programming
Small server for turning HTTP requests into keystrokes and serving single-page apps. Useful for using a phone as a buzzer for trivia games.
Library for giving partial definitions of miniRBAC access control states for analysis with margrave