@bryangingechen
Bryan Gin-ge Chen
here to learn
54
notebooks
279
likes
6
forks
NotebooksCollections
Collections
Forks
Ingredients
Lean
Meals
Connect Observable notebooks to Lean on your computer with websocketd
@bryangingechenBryan Gin-ge ChenJul 31
2
Fibonacci formalized 2: bees and cars
@bryangingechenBryan Gin-ge ChenJul 28
2
Fibonacci formalized 1: some sums
@bryangingechenBryan Gin-ge ChenJul 28
7
Stepping through currying in Lean
@bryangingechenBryan Gin-ge ChenJul 28
Lean exercise box
@bryangingechenBryan Gin-ge ChenJul 28
Standalone Lean editor
@bryangingechenBryan Gin-ge ChenJul 28
Hello, Lean prover!
@bryangingechenBryan Gin-ge ChenJul 28
12
MathJax
@bryangingechenBryan Gin-ge ChenJul 8
3
Convex hull peeling guessing game
@bryangingechenBryan Gin-ge ChenJul 8
4
Polygon input
@bryangingechenBryan Gin-ge ChenJul 8
2
Convex hull peeling II
@bryangingechenBryan Gin-ge ChenJul 8
2
Convex hull peeling
@bryangingechenBryan Gin-ge ChenJul 8
9
Brython in observable
@bryangingechenBryan Gin-ge ChenApr 5
2
Multiple Sankeys
@bryangingechenBryan Gin-ge ChenApr 5
2
Sandpiles in the reactive runtime
@bryangingechenBryan Gin-ge ChenApr 2
3
Hello, cubic-spline!
@bryangingechenBryan Gin-ge ChenMar 20
2
Hello, Bokeh.js!
@bryangingechenBryan Gin-ge ChenMar 19
2
WebSocket-powered notebook editing tools
@bryangingechenBryan Gin-ge ChenMar 13
4
Exporting notebooks with their source
@bryangingechenBryan Gin-ge ChenMar 10
10
fromV1
@bryangingechenBryan Gin-ge ChenMar 2
From raw notebook source to Observable runtime V1 modules
@bryangingechenBryan Gin-ge ChenMar 1
7
Drag to re-arrange (vertical edition)
@bryangingechenBryan Gin-ge ChenFeb 26
6
Dynamic import polyfill
@bryangingechenBryan Gin-ge ChenFeb 26
Imports: tips and tricks
@bryangingechenBryan Gin-ge ChenFeb 23
3
Dijkstra's algorithm (huge version)
@bryangingechenBryan Gin-ge ChenFeb 15
4
d3 quadtrees with more data
@bryangingechenBryan Gin-ge ChenFeb 15
Hexagonal World (coloring by country)
@bryangingechenBryan Gin-ge ChenFeb 15
Show more…