Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.
Cannot retrieve contributors at this time
- Massive reworking of number handling courtesy of @tixxit.
- Improved pretty printing thanks to @guymers.
Press h to open a hovercard with more details.