Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory
- Germany
- joulook.github.io
- @Mh_khoshechin
Highlights
- Pro
Lists (1)
Sort Name ascending (A-Z)
Stars
1
result
for forked starred repositories
written in SCSS
Clear filter
Kraks / scala-lang
Forked from scala/scala-langsources for the Scala language website