👋 Hi, I’m Rado Kirov.👀 I’m interested in math, theoretical computer science and anything visual.🌱 I’m currently learning about proof assistants, 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.
recovering academic
-
Stripe
- San Francisco
-
05:05
(UTC -12:00) - radokirov.com
- @radokirov
Block or Report
Block or report rkirov
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
-
-
adapt-comp Public
Reimplentation of the library from "Monads for Incremental Computing" in JS/TS.
-
microsoft/TypeScript Public
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.