Animation engine for explanatory math videos

Code samples for my book "Neural Networks and Deep Learning"

Code for the paper "Jukebox: A Generative Model for Music"

Google Sheets Python API

Trio – a friendly Python library for async concurrency and I/O

Stream Framework is a Python library, which allows you to build news feed, activity streams and notification systems using Cassandra and/or Redis. The authors of Stream-Framework also provide a clo…

A legible monospace font... the very typeface you’ve been trained to recognize since childhood

CakeChat: Emotional Generative Dialog System

A Sublime Text Plugin for Arduino

DOM Traversing and Scraping using GraphQL

Tool for data extraction and interacting with Lean programmatically.

A collaborative collection of open-source safe GPT-3 prompts that work well

Sublime extension for ASP.NET vNext

Lean Theorem Prover MCP

Airplanes are programming heaven. Airplane Mode turns off the bad internet. Yes docs, no facebook!

Pydux = Python + Redux

SublimeLinter plugin for JavaScript static type checking, using flow.

Modules to be used with Talon for hands-free input

Python WSGI based GraphQL server

Plugin for Sublime Text 2 that lets you open the GitHub App from the menu

Redux Todos Demo.... for Urwid & Urwid_Pydux