Skip to content



Block or Report

Block or report lemastero

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.

Report abuse

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

Report abuse

My open source contributions (more details):

Be the positive change you want to see in life ❤️


  1. Abstractions and constructions from math (Category theory, Abstract algebra) implementations in Scala, minimal description, links to good explanations, links to implementations in other FP language…

    Scala 361 36

  2. Triglav Public

    Profunctor optics in Scala, arrows, modular approach to abstractions in category theory

    Scala 2 1

  3. zio/zio Public

    ZIO — A type-safe, composable library for async and concurrent programming in Scala

    Scala 3.1k 912

  4. A Scala based client for Ethereum-like Blockchains.

    Scala 221 80

  5. Proving Ground: Tools for Automated Mathematics

    Jupyter Notebook 183 37

  6. idris-ct Public

    Forked from statebox/idris-ct

    formally verified category theory library


522 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

October 2021

Created 19 commits in 1 repository
Opened 1 pull request in 1 repository
lemastero/akka-typed-on-scala-3 1 merged
12 contributions in private repositories Oct 12 – Oct 20

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