radeusgd Goto Github PK
Name: Radosław Waśko
Type: User
Company: @enso-org
Bio: Interested in programming language theory and tooling, type theory, static analysis, software verification, as well as data-science and data processing tools.
Location: Poland
Blog: http://radeusgd.com/