An open source productivity tool drawing inspiration from workflowy and vim

Play Hack The Box directly on your system.

An estimation language

mirrored hg repo from https://bitbucket.org/adonohue/units

Apilar alife simulation

Dexie integration for Solid

Code for Auditing Visualizations: Transparency Methods Struggle to Detect Anomalous Behavior

Self-contained monadic parser combinators for OCaml

Read Google Cloud Storage, Azure Blobs, and local paths with the same interface

Mold: A Modern Linker 🦠

Jupyter Notebooks in the terminal.

Python library & examples for Masked Language Model Scoring (ACL 2020)

Train transformer language models with reinforcement learning.

Static Type Checker for Python

The Stackless Python programming language

Pulls data from PurpleAir AQI monitors and reports data to slack

Research language for array processing in the Haskell/ML family

GTP engine and self-play learning in Go

An unofficial tap that adds Mojave support to valgrind.

Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)

NameCoin-style names using consensus instead of proof of work