Investigate suspicious activity by visualizing Sysmon's event log

The user home repository for the Mathematics in Lean tutorial.

Keybase Go Library, Client, Service, OS X, iOS, Android, Electron

An automatic paper generator

Generate random nonsense math papers

Course notes for Pure Mathematics Topic D 2019

A textbook on informal homotopy type theory

Github pages backend for https://differentialprivacy.org

🔣 Compose Key for Windows

With a given country and phone number, validate and reformat the mobile phone number to the E.164 standard. The purpose of this is to allow us to send SMS to mobile phones only.

Add to home screen call-out for mobile devices

Example code for "Real-World Natural Language Processing"

100 Must-Read NLP Papers

A Course in Machine Learning

This simple system helps Amazon customers improve their privacy while providing for others in need. It leverages the Amazon Locker infrastructure and allows users to anonymously request items they …

The Topics API

Interactive Linear Algebra

source code for math gifs posted to twitter

https://twitter.com/lovebot_2000: Automating life long connections on the twittersphere

The core of an open-source, distributed, highly scalable platform designed to provide robust telecom services

Release candidates

Web application that makes data releases that satisfy differential privacy using the OpenDP Library

Introductory lecture notes on programmable cryptography

educational python plonk implementation, based on vitalik's py_plonk

This is a Coloring Book about Group Theory

Covers all stages of the 3D creation process, as well as the theory side of things. Helpful for 2D artists as well.

fast distance and ray intersection queries

Julia code for the book Numerical Linear Algebra