Skip to content



Block or Report

Block or report spirali

Block user

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

Report abuse

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

Report abuse


  1. Framework for large distributed pipelines

    Rust 651 46

  2. Dynamic verifier for MPI programs

    Python 9 1

  3. Python framework for making slides

    Python 32 4

  4. Generator of API documentation for Python

    Python 11 1

  5. Python package for defining, executing, and persisting computations

    Python 6 2

  6. Python framework for generating discrete structures

    Python 6 3

478 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun Mon Wed Fri
Activity overview
Contributed to It4innovations/hyperqueue, spirali/elsie, spirali/tako and 5 other repositories

Contribution activity

June 2021

Opened 7 pull requests in 2 repositories
1 open 4 merged
2 merged

Created an issue in It4innovations/hyperqueue that received 2 comments

Better task sandboxing

When task spawn more processes, make sure that they are all killed when task is canceled or finished.


Seeing something unexpected? Take a look at the GitHub profile guide.