Popular repositories

1. syncstrip Public

   C# 23 6

2. rubiks-cube-group Public

   A formalization of the Rubik's cube group

   Lean 16

3. renderstrip Public

   Arduino 13 3

4. transform.js Public

   Transform.js is a tiny JavaScript library for projecting 3D points into 2D space.

   JavaScript 7 1

5. Tui Public

   C# 3

6. Ninja-Echo Public

   Ninja Echo is a bot for the Stack Overflow chat.

   C# 2