Home Original page

rkirov - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings
  • šŸ‘‹ Hi, Iā€™m Rado Kirov.
  • šŸ‘€ Iā€™m interested in math, theoretical computer science and anything visual.
  • šŸŒ± Iā€™m currently learning about proof assistants (specifically Lean), homotopy type theory.
  • šŸ’žļø Iā€™m looking to collaborate on incremental computation, programing language design.
  • šŸ“« How to reach me - rkirov@gmail.com or @radokirov on Twitter.

Pinned Loading

  1. Reimplentation of the library from "Monads for Incremental Computing" in JS/TS.

    TypeScript 11 1

  2. type-safe AVL trees in TypeScript

    TypeScript 1

  3. Continuation based JS reactive signals

    TypeScript 18

  5. Lean Companion to the Category Theory in Context textbook by Emily Riehl

    Lean 29 5