Ingredients
Public
duty-free imports of inputs, tools, and libraries!
Filter
None
Sort
Last updated
Filter
None
Sort
Published
Observable
62
7
Sign up
Grid inputs
Bryan Gin-ge Chen
Feb 23, 2019
55
Hello, chess!
Bryan Gin-ge Chen
May 2, 2020
21
Hello, CindyJS!
Bryan Gin-ge Chen
Dec 27, 2019
22
Hello, noUiSlider!
Bryan Gin-ge Chen
Dec 4, 2018
8
Hello, R on OpenCPU!
Bryan Gin-ge Chen
Jan 4, 2023
25
Dynamic import polyfill
Bryan Gin-ge Chen
Feb 26, 2019
7
Drag to re-arrange (vertical edition)
Fork
Bryan Gin-ge Chen
Mar 11, 2019
8
Labeling connected components
Bryan Gin-ge Chen
May 2, 2020
17
commentOn
Bryan Gin-ge Chen
Apr 13, 2019
1
Hello, Bokeh.js!
Bryan Gin-ge Chen
May 7, 2019
7
Brython in observable
Fork
Bryan Gin-ge Chen
Mar 29, 2019
2
Hello, cubic-spline!
Bryan Gin-ge Chen
Dec 12, 2021
5
2
Polygon input
Fork
Bryan Gin-ge Chen
Jul 8, 2019
5
MathJax
Fork
Bryan Gin-ge Chen
Jun 5, 2019
10
Hello, Lean prover!
Bryan Gin-ge Chen
Jan 26, 2021
38
Stepping through currying in Lean
Bryan Gin-ge Chen
Dec 14, 2019
4
Lean exercise box
Bryan Gin-ge Chen
Aug 15, 2019
1
D3 Log-Scaled Histogram
Fork
Bryan Gin-ge Chen
Jan 7, 2019
2
D3 Scatterplot
Fork
Bryan Gin-ge Chen
Jan 7, 2019
TOC
Fork
Bryan Gin-ge Chen
Feb 5, 2020
12
CindyJS import example
Bryan Gin-ge Chen
Jul 22, 2018
Connect Observable notebooks to Lean on your computer with websocketd
Bryan Gin-ge Chen
Feb 3, 2020
6
highlightjs for Lean
Bryan Gin-ge Chen
Feb 22, 2021
2
8
mathjax-editing.js
Bryan Gin-ge Chen
Mar 2, 2021
1
