👹
Block or Report
Block or report atukallo
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
DecentralizedPeerster
DecentralizedPeerster PublicSemester project in Decentralized Systems Engineering course in EPFL University, Fall 2018
Go 1
-
-
NewsNotifierBot
NewsNotifierBot PublicTelegram bot to notify one about most recent news, filtered according to some preferences
Kotlin
-
MathematicalLogic
MathematicalLogic PublicHomeworks for Mathematical Logic course in ITMO, 2016
C++
-
TypeTheory
TypeTheory PublicHomeworks for Type Theory course as continuation of course on Mathematical Logic, spring 2017
OCaml
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.