Pinned Loading

1. ai-rubiks-cube-solver ai-rubiks-cube-solver Public

   A program which generates a sequence of cube rotations learned from a deep neural network, solving a scrambled Rubik's Cube.

   Python 11 1

2. entailment-trees entailment-trees Public

   an iterative bayesian model on the distribution of entailment trees for premise generation

   Python

3. virtual-ball-pit virtual-ball-pit Public

   A simple two-dimensional physics engine simulating inelastic collisions between balls and their surroundings.

   Java

4. chenanton.github.io chenanton.github.io Public

   HTML 1

5. dired-flip dired-flip Public

   Filenames on the left, attributes on the right.

   Emacs Lisp

6. echo-bar echo-bar Public

   Display status information in the Emacs echo area instead of the mode line, saving a line of screen real estate.

   Emacs Lisp