Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A CDCL SAT solver implemented in Java.
A demo of an Internet-of-Things application, where both the frontend and backend are written in Elm.
Forked from twitter-archive/snowflake
Snowflake is a network service for generating unique ID numbers at high scale with some simple guarantees.
Forked from open-keychain/open-keychain
OpenKeychain is an OpenPGP implementation for Android.
Forked from svenkle/google-drive-add-to-explorer
Seeing something unexpected? Take a look at the
GitHub profile guide.