Quick script to download all your Kindle ebooks.

Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant

Kubernetes-native Job Queueing

Checks whether Kubernetes is deployed according to security best practices as defined in the CIS Kubernetes Benchmark

My small cheatsheets for data science, ML, computer science and more.

EigenChris's math notes on tensors, from Youtube

A native Rust library for Delta Lake, with bindings into Python and Ruby.

Temporal Network Tools

A highly efficient daemon for streaming data from Kafka into Delta Lake

Simple X Image Viewer

Learning with Peter Norvig's lis.py interpreter

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Multivariate Time Series Forecasting with efficient Transformers. Code for the paper "Long-Range Transformers for Dynamic Spatiotemporal Forecasting."

Google Research

Managed lifecycle of stateful objects in Clojure

Grokking Deep Reinforcement Learning

A quick demo of a bare vanilla JS todo app

Automatic model code generator for SQLAlchemy

Reading Dalta Lake data from Beam

Environment generation code for the paper "Emergent Tool Use From Multi-Agent Autocurricula"

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

A toolkit for developing and comparing reinforcement learning algorithms.

Python Stream Processing

Foundation is a flexible, modular, and composable framework to model socio-economic behaviors and dynamics with both agents and governments. This framework can be used in conjunction with reinforce…

Code from the Deep Reinforcement Learning in Action book from Manning, Inc

Gridworld for MARL experiments

A proof of concept OS kernel written in Go

🐍 ZSH plugin to automatically switch python virtualenvs and Pipenvs as you move between directories