Buffon's Needle in Lean

First Lean formalization of this geometric probability problem

reMarkable Templates

Templates for the E ink tablet

Intuitive

Rust declarative TUI library

DeepCell Label

Cell tracking data curation tool

Processing Gallery

Gallery of Processing sketches

XaTeLite

LaTeX over SSH

Git Tattoo

Draw a GitHub contribution graph

Python CRN

Chemical reaction network simulator