Researcher in Programming Language Theory and Formal Verification.
-
JetBrains Research
Block or Report
Block or report eupp
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned Loading
-
JetBrains/lincheck
JetBrains/lincheck PublicFramework for testing concurrent data structures
-
Event-Structures/event-struct
Event-Structures/event-struct PublicMechanized Theory of Event Structures
-
JetBrains-Research/litmuskt
JetBrains-Research/litmuskt PublicLitmus testing tool for Kotlin/Native (WIP)
Kotlin 5
-
jetbrains-academy/CppBasics
jetbrains-academy/CppBasics PublicLearn fundamentals of C/C++ while developing simple arcade game
C++ 3
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.