Notebooks
Filter
None
Sort
Last updated
Observable
Sign in
Bryan Gin-ge Chen
@bryangingechen
here to learn
Filter
None
Sort
Published
62
7
mathjax-editing.js
Bryan Gin-ge Chen
Mar 2, 2021
1
Convex hull peeling (fading)
Fork
Bryan Gin-ge Chen
May 2, 2020
1
GitHub Lean file viewer
Fork
Bryan Gin-ge Chen
Feb 16, 2021
2
highlightjs for Lean
Bryan Gin-ge Chen
Feb 22, 2021
2
8
GitHub Lean doc preview
Bryan Gin-ge Chen
Feb 16, 2021
4
3x+1 paths in binary
Bryan Gin-ge Chen
May 2, 2020
6
Notebook stepper
Fork
Bryan Gin-ge Chen
Oct 16, 2021
19
Notebook import inspector (deprecated)
Fork
Bryan Gin-ge Chen
Nov 2, 2019
17
Connect Observable notebooks to Lean on your computer with websocketd
Bryan Gin-ge Chen
Feb 3, 2020
6
Fibonacci formalized 2: bees and cars
Fork
Bryan Gin-ge Chen
Jul 5, 2020
5
Fibonacci formalized 1: some sums
Bryan Gin-ge Chen
Jan 29, 2021
14
Stepping through currying in Lean
Bryan Gin-ge Chen
Dec 14, 2019
4
Lean exercise box
Bryan Gin-ge Chen
Aug 15, 2019
1
Standalone Lean editor
Bryan Gin-ge Chen
Aug 15, 2019
2
Hello, Lean prover!
Bryan Gin-ge Chen
Jan 26, 2021
38
MathJax
Fork
Bryan Gin-ge Chen
Jun 5, 2019
10
Convex hull peeling guessing game
Fork
Bryan Gin-ge Chen
May 2, 2020
7
Polygon input
Fork
Bryan Gin-ge Chen
Jul 8, 2019
5
Convex hull peeling II
Fork
Bryan Gin-ge Chen
May 2, 2020
2
Convex hull peeling
Bryan Gin-ge Chen
May 2, 2020
11
Brython in observable
Fork
Bryan Gin-ge Chen
Mar 29, 2019
2
Multiple Sankeys
Fork
Bryan Gin-ge Chen
Apr 4, 2019
3
Sandpiles in the reactive runtime
Bryan Gin-ge Chen
Apr 4, 2019
6
Hello, cubic-spline!
Bryan Gin-ge Chen
Dec 12, 2021
5
2
Hello, Bokeh.js!
Bryan Gin-ge Chen
May 7, 2019
7
WebSocket-powered notebook editing tools
Fork
Bryan Gin-ge Chen
Sep 10, 2019
11
Exporting notebooks with their source
Bryan Gin-ge Chen
May 2, 2020
26
fromV1
Bryan Gin-ge Chen
Mar 12, 2019
From raw notebook source to Observable runtime V1 modules
Fork
Bryan Gin-ge Chen
May 2, 2020
19
Drag to re-arrange (vertical edition)
Fork
Bryan Gin-ge Chen
Mar 11, 2019
8
Dynamic import polyfill
Bryan Gin-ge Chen
Feb 26, 2019
7
Imports: tips and tricks
Fork
Bryan Gin-ge Chen
Oct 4, 2019
23
Dijkstra's algorithm (huge version)
Fork
Bryan Gin-ge Chen
Dec 6, 2019
10
d3 quadtrees with more data
Fork
Bryan Gin-ge Chen
Feb 15, 2019
1
Hexagonal World (coloring by country)
Fork
Bryan Gin-ge Chen
Feb 5, 2019
Grid inputs
Bryan Gin-ge Chen
Feb 23, 2019
55
DLA + CA rules!
Fork
Bryan Gin-ge Chen
May 2, 2020
6
Poisson, KPZ and Quenched KPZ
Bryan Gin-ge Chen
May 2, 2020
10
Tiling an octagon with half-squares and A-size rectangles
Fork
Bryan Gin-ge Chen
Feb 1, 2019
7
Lattice reduction
Bryan Gin-ge Chen
Mar 6, 2019
20
