Pinned Loading

1. logic logic Public

   Basic ideas of functional programming, constructive logic, and the Coq proof assistant.

   Coq 2

2. minikeyvalue minikeyvalue Public

   A distributed key value store in under 1000 lines. Used in production at comma.ai

   Python 2 1

3. SLAM SLAM Public

   A toy implementation of simultaneous location and mapping system

   Python 1

4. wasm_playground wasm_playground Public

   Deep dive into the WASM internal structure and behaviour.

   HTML 8 1

5. GDL GDL Public

   Geometric Deep Learning dissection.

   9

6. ai-notebooks ai-notebooks Public

   Forked from geohot/ai-notebooks

   Some ipython notebooks implementing AI algorithms

   Jupyter Notebook 3 2