Bryan Gin-ge Chen | Observable

Bryan Gin-ge Chen

here to learn

https://twitter.com/blockspins

Public notebooks

Public collections

Public notebooks

Sort

Showing 1-30 of 62 notebooks

PrevNext

mathjax-editing.js

Bryan Gin-ge Chen

Feb 16, 2021• 1

Convex hull peeling (fading)

Bryan Gin-ge Chen

Apr 30, 2020• 1

GitHub Lean file viewer

Bryan Gin-ge Chen

Mar 15, 2020• 1

highlightjs for Lean

Bryan Gin-ge Chen

Mar 15, 2020• 1 8

GitHub Lean doc preview

Bryan Gin-ge Chen

Nov 23, 2019• 3

3x+1 paths in binary

Bryan Gin-ge Chen

Sep 16, 2019• 6

Notebook stepper

Bryan Gin-ge Chen

Sep 15, 2019• 18

Notebook import inspector (deprecated)

Bryan Gin-ge Chen

Sep 10, 2019• 17

Connect Observable notebooks to Lean on your computer with websocketd

Bryan Gin-ge Chen

Jul 31, 2019• 5

Fibonacci formalized 2: bees and cars

Bryan Gin-ge Chen

Jul 28, 2019• 5

Fibonacci formalized 1: some sums

Bryan Gin-ge Chen

Jul 28, 2019• 14

Stepping through currying in Lean

Bryan Gin-ge Chen

Jul 28, 2019• 4

Lean exercise box

Bryan Gin-ge Chen

Jul 28, 2019• 1

Standalone Lean editor

Bryan Gin-ge Chen

Jul 28, 2019• 1

Hello, Lean prover!

Bryan Gin-ge Chen

Jul 28, 2019• 37

Bryan Gin-ge Chen

Jul 8, 2019• 10

Convex hull peeling guessing game

Bryan Gin-ge Chen

Jul 8, 2019• 7

Bryan Gin-ge Chen

Jul 8, 2019• 5

Convex hull peeling II

Bryan Gin-ge Chen

Jul 8, 2019• 2

Convex hull peeling

Bryan Gin-ge Chen

Jul 8, 2019• 11

Brython in observable

Bryan Gin-ge Chen

Apr 5, 2019• 2

Multiple Sankeys

Bryan Gin-ge Chen

Apr 5, 2019• 3

Sandpiles in the reactive runtime

Bryan Gin-ge Chen

Apr 2, 2019• 6

Hello, cubic-spline!

Bryan Gin-ge Chen

Mar 20, 2019• 4 2

Hello, Bokeh.js!

Bryan Gin-ge Chen

Mar 19, 2019• 7

WebSocket-powered notebook editing tools

Bryan Gin-ge Chen

Mar 13, 2019• 10

Exporting notebooks with their source

Bryan Gin-ge Chen

Mar 10, 2019• 26

Bryan Gin-ge Chen

Mar 2, 2019

From raw notebook source to Observable runtime V1 modules

Bryan Gin-ge Chen

Mar 1, 2019• 18

Drag to re-arrange (vertical edition)

Bryan Gin-ge Chen

Feb 26, 2019• 8

Showing 1-30 of 62 notebooks

PrevNext