Bryan Gin-ge Chen

twitter.com/blockspins

here to learn

61

Published

492

Likes

15

Forks

Bryan Gin-ge Chen

twitter.com/blockspins

here to learn

61

Published

492

Likes

15

Forks

Notebooks Collections

Browse by collections

Forks Ingredients Lean Meals Morsels Observable Snacks

Notebooks

Showing 1-30 of 61 notebooks

Convex hull peeling (fading)

Bryan Gin-ge Chen

Apr 30• 1

GitHub Lean file viewer

Bryan Gin-ge Chen

Mar 15

highlightjs for Lean

Bryan Gin-ge Chen

Mar 15• 1 4

GitHub Lean doc preview

Bryan Gin-ge Chen

Nov 23, 2019• 1

3x+1 paths in binary

Bryan Gin-ge Chen

Sep 16, 2019• 4

Notebook stepper

Bryan Gin-ge Chen

Sep 15, 2019• 14

Notebook import inspector (deprecated)

Bryan Gin-ge Chen

Sep 10, 2019• 15

Connect Observable notebooks to Lean on your computer with websocketd

Bryan Gin-ge Chen

Jul 31, 2019• 3

Fibonacci formalized 2: bees and cars

Bryan Gin-ge Chen

Jul 28, 2019• 4

Fibonacci formalized 1: some sums

Bryan Gin-ge Chen

Jul 28, 2019• 9

Stepping through currying in Lean

Bryan Gin-ge Chen

Jul 28, 2019• 3

Lean exercise box

Bryan Gin-ge Chen

Jul 28, 2019

Standalone Lean editor

Bryan Gin-ge Chen

Jul 28, 2019

Hello, Lean prover!

Bryan Gin-ge Chen

Jul 28, 2019• 23

Bryan Gin-ge Chen

Jul 8, 2019• 4

Convex hull peeling guessing game

Bryan Gin-ge Chen

Jul 8, 2019• 5

Bryan Gin-ge Chen

Jul 8, 2019• 3

Convex hull peeling II

Bryan Gin-ge Chen

Jul 8, 2019• 2

Convex hull peeling

Bryan Gin-ge Chen

Jul 8, 2019• 10

Brython in observable

Bryan Gin-ge Chen

Apr 5, 2019• 2

Multiple Sankeys

Bryan Gin-ge Chen

Apr 5, 2019• 2

Sandpiles in the reactive runtime

Bryan Gin-ge Chen

Apr 2, 2019• 4

Hello, cubic-spline!

Bryan Gin-ge Chen

Mar 20, 2019• 2

Hello, Bokeh.js!

Bryan Gin-ge Chen

Mar 19, 2019• 5

WebSocket-powered notebook editing tools

Bryan Gin-ge Chen

Mar 13, 2019• 8

Exporting notebooks with their source

Bryan Gin-ge Chen

Mar 10, 2019• 19

Bryan Gin-ge Chen

Mar 2, 2019

From raw notebook source to Observable runtime V1 modules

Bryan Gin-ge Chen

Mar 1, 2019• 13

Drag to re-arrange (vertical edition)

Bryan Gin-ge Chen

Feb 26, 2019• 6

Dynamic import polyfill

Bryan Gin-ge Chen

Feb 26, 2019• 3

Showing 1-30 of 61 notebooks