Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Ruby ORM for Amazon's DynamoDB.
An Java-based app to communicate with Amazon Alexa for devices such as the Amazon Echo
Template for a Single-Page Application with modern bells and whistles
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Seeing something unexpected? Take a look at the
GitHub profile guide.