| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Original HTTPS Page] |
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseForked from dafny-lang/dafny
Dafny is a verification-aware programming language
C#
Forked from sam-hu/Big-Red-Risk
A Risk-style board game modeled after the Cornell University campus made using OCaml and Python. Features GUI, user-adjustable AI algorithms, and support for up to four local players.
OCaml
Forked from harbor-framework/harbor
Framework for evaluating and improving agents
Python
| Back | FazBrowse Home | New Git URL |