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