Mikhail Glushenkov

icon indicating a website link coldwa.st/e

icon company @primait icon location London, UK icon location Elixir/Rust programmer.

Results 2 repositories owned by Mikhail Glushenkov

pointful

26
Stars
6
Forks
Watchers

Stand-alone command-line version of the pointful plugin for Lambdabot.

verified publisher icon 23Skidoo

popl13-papers-links

20
Stars
2
Forks
Watchers

An unofficial list of papers accepted to POPL 2013.

verified publisher icon 23Skidoo