siddhartha-gadgil/presentations
presentations using reveal.js
Illustration of conditional convergence using scalajs
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
presentations using reveal.js
A Heroku-like name generator.
An invitation to propositions as types as in Homotopy type theory
Powerful new number types and numeric abstractions for Scala.