enhancementgood first issueneeds Pluto.jl feature
Repository metrics
- Stars
- (314 stars)
- PR merge metrics
- (30d に merged PR はありません)
説明
This can be based on the rectangle drawing demo in the Interactivity sample notebook inside Pluto.
Speed might not be great yet, but this should improve a lot once Pluto uses MsgPack instead of JSON.