Pinned Loading

1. Math Math Public

   Mathematics in Cubical Agda

   Agda

2. xor_linked_list xor_linked_list Public

   Uses one pointer per node to make a doubly linked list

   C++

3. Huffman-Tree Huffman-Tree Public

   C

4. 3D-Rotating-Cube 3D-Rotating-Cube Public

   C

5. simple-BST simple-BST Public

   Binary search tree using iterative insertion.

   C 1

6. Handwritten-Digit-Recognizer Handwritten-Digit-Recognizer Public

   A neural network demo that recognizes handwritten digits.

   Java