Rado Kirov rkirov

recovering academic

Achievements

rkirov /README.md

👋 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.

angular/clutz angular/clutz Public archive

Closure to TypeScript `.d.ts` generator

Java 167 60
tsickle tsickle Public

Forked from angular/tsickle

Tsickle — TypeScript to Closure Translator

TypeScript
adapt-comp adapt-comp Public

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

TypeScript 11 1
avl-ts avl-ts Public

type-safe AVL trees in TypeScript

TypeScript 1
cont-signal cont-signal Public

Continuation based JS reactive signals

TypeScript 18
analysis analysis Public

Forked from teorth/analysis

A Lean companion to Analysis I

Lean 8