Backend Software Engineer with 7+ YOE in Java, Bachelor of Science, ITMO Master’s student. Stock trading & ML enthusiast. Chess enjoyer.
Pinned Loading
-
intellij-nuXmv
intellij-nuXmv PublicIntelliJ IDEA support for the NuXmv formal verification language
Kotlin
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.



