Popular repositories Loading

1. rubiks-cube-group rubiks-cube-group Public

   A formalization of the Rubik's cube group

   Lean 28 2

2. syncstrip syncstrip Public

   C# 25 5

3. renderstrip renderstrip Public

   Arduino 13 2

4. transform.js transform.js Public

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

   JavaScript 10 1

5. anki-ogs anki-ogs Public

   JavaScript 6

6. ankifu ankifu Public

   TypeScript 6