Popular repositories Loading

1. yajilin-sat yajilin-sat Public

   Solving Yajilin problems with a SAT solver

   TeX 3

2. processing-picross3d processing-picross3d Public

   A program for illustrating Picross-3D instances

   Processing 2

3. mnist-demo mnist-demo Public

   A tiny Web-based demo app of a handwritten digit discriminator using Chainer

   Python 1

4. dfa-algorithms dfa-algorithms Public

   Python 1

5. icpc icpc Public

   Python

6. heartbeat_uno heartbeat_uno Public

   Analog-like animation on Arduino + LED matrix

   Arduino