Bryan Gin-ge ChenIngredients

Public
Ingredients

duty-free imports of inputs, tools, and libraries!

Showing all 24 listings

mathjax-editing.js

Bryan Gin-ge Chen

Feb 16, 2021• 1

highlightjs for Lean

Bryan Gin-ge Chen

Mar 15, 2020• 1 8

Connect Observable notebooks to Lean on your computer with websocketd

Bryan Gin-ge Chen

Jul 31, 2019• 5

CindyJS import example

Bryan Gin-ge Chen

Jul 22, 2018

Bryan Gin-ge Chen

Dec 10, 2018• 12

Bryan Gin-ge Chen

Jan 7, 2019

D3 Log-Scaled Histogram

Bryan Gin-ge Chen

Jan 4, 2019• 2

Lean exercise box

Bryan Gin-ge Chen

Jul 28, 2019• 1

Stepping through currying in Lean

Bryan Gin-ge Chen

Jul 28, 2019• 4

Hello, Lean prover!

Bryan Gin-ge Chen

Jul 28, 2019• 37

Bryan Gin-ge Chen

Jul 8, 2019• 10

Bryan Gin-ge Chen

Jul 8, 2019• 5

Hello, cubic-spline!

Bryan Gin-ge Chen

Mar 20, 2019• 4 2

Brython in observable

Bryan Gin-ge Chen

Apr 5, 2019• 2

Hello, Bokeh.js!

Bryan Gin-ge Chen

Mar 19, 2019• 7

Bryan Gin-ge Chen

Nov 7, 2018

Labeling connected components

Bryan Gin-ge Chen

Jan 26, 2019• 16

Drag to re-arrange (vertical edition)

Bryan Gin-ge Chen

Feb 26, 2019• 8

Dynamic import polyfill

Bryan Gin-ge Chen

Feb 26, 2019• 6

Hello, R on OpenCPU!

Bryan Gin-ge Chen

Jan 4, 2023• 23

Hello, noUiSlider!

Bryan Gin-ge Chen

Dec 4, 2018• 8

Hello, CindyJS!

Bryan Gin-ge Chen

Jul 21, 2018• 22

Bryan Gin-ge Chen

Nov 30, 2018• 21

Bryan Gin-ge Chen

Feb 13, 2019• 54