Evgenii Kotelnikov

icon indicating a website link https://ekotelnikov.com icon indicating an email [email protected]

icon company Snyk icon location Amsterdam icon location I write programs, prove theorems, and write programs that prove theorems

Results 2 repositories owned by Evgenii Kotelnikov

awesome-self-reference

257
Stars
8
Forks
Watchers

A curated list of examples of self-reference in art, science, and technology

verified publisher icon aztek

scala-workflow

175
Stars
16
Forks
Watchers

Boilerplate-free syntax for computations with effects

verified publisher icon aztek