Pinned Loading

1. observablehq-dark-theme observablehq-dark-theme Public

   Dark theme for observablehq.com

   JavaScript

2. console-sokoban console-sokoban Public

   Sokoban for learning purposes

   C++

3. finder_of_cellular_patterns finder_of_cellular_patterns Public

   Javascript finder of patterns in Canway's game of life

   JavaScript

4. lean_mathlib_examples lean_mathlib_examples Public

   Github examples and more

   Lean

5. shadertoy_examples shadertoy_examples Public

   C

6. numberlink-helper numberlink-helper Public

   Helper for numberlink puzzle creation, solving, and so on.

   JavaScript