Skip to content
View antferdom's full-sized avatar

Highlights

  • Pro

Block or report antferdom

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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 1