here to learn
mathjax-editing.jshighlightjs for LeanConnect Observable notebooks to Lean on your computer with websocketdCindyJS import exampleTOCD3 ScatterplotD3 Log-Scaled HistogramLean exercise boxStepping through currying in LeanHello, Lean prover!MathJaxPolygon inputHello, cubic-spline!Brython in observableHello, Bokeh.js!Labeling connected componentsDrag to re-arrange (vertical edition)Dynamic import polyfillHello, R on OpenCPU!Hello, noUiSlider!Hello, CindyJS!Hello, chess!Grid inputs
commentOn
// Here's an example CSS style element that makes outlined "source" text easier to read
sourceStyle = html`<style>
.source {
margin: 0px;
cursor: pointer;
border:2px currentColor solid;
border-radius:7px;
display:inline-block;
padding:7px
}
.source[data-commentonstatus="Show"] {
border:1px currentColor dashed;
}
.source p {
margin: 0px;
padding: 0px;
}
.source pre {
margin: 0px;
padding: 0px;
}
</style>`
// Here's an example CSS style element that makes outlined "fancy" text harder to read
fancyStyle = html`<style>
.fancyComment {
color: green;
}
.fancy {
margin: 0px;
cursor: pointer;
border:2px red dotted;
border-radius:7px;
display:inline-block;
padding:7px
}
.fancy[data-commentonstatus="Show"] {
border:4px purple groove;
}
.fancy p {
color: orange;
margin: 0px;
padding: 0px;
}
.fancy pre {
color: blue;
margin: 0px;
padding: 0px;
}
</style>`
One platform to build and deploy the best data apps
Experiment and prototype by building visualizations in live JavaScript notebooks. Collaborate with your team and decide which concepts to build out.
Use Observable Framework to build data apps locally. Use data loaders to build in any language or library, including Python, SQL, and R.
Seamlessly deploy to Observable. Test before you ship, use automatic deploy-on-commit, and ensure your projects are always up-to-date.