Skip to content
View stanislav-moiseev's full-sized avatar
3 followers · 2 following

Highlights

  • Pro

Block or report stanislav-moiseev

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. big-data-seminars big-data-seminars Public

    Education materials for my course "Cluster computing and big data applications" at Moscow State University.

    Scala 2

  2. process-sim process-sim Public

    A simulation environment for communicating processes.

    Haskell 1

  3. relational-clones relational-clones Public

    Closure operator on predicates, and lattice of relational clones.

    C

  4. ltl-model-checking ltl-model-checking Public

    Finite-state model checking for linear temporal logic.

    Haskell

  5. haskell-seminars haskell-seminars Public

    Educational materials for my "Functional programming in Haskell" course at Moscow State University.

  6. spark spark Public

    Forked from apache/spark

    Apache Spark - A unified analytics engine for large-scale data processing

    Scala