Bryan Gin-ge Chen/...

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