Skip to content



Block or Report

Block or report stefanholzmueller

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


  1. Looking forward to something? Make a countdown for it!

    PureScript 1 1

  2. geoquiz Public

    Try to locate random countries on a world map!

    JavaScript 1

  3. A variant of the dice game Yahtzee


  4. pp2js Public

    ProbenProphet 2.0


  5. Example REST API with endpoints4s, http4s and doobie


31 contributions in the last year

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

Contribution activity

September 2021

Created a pull request in unisonweb/unisonweb-org that received 1 comment

Abilities tutorial: exercise answers for map, filter, take

The answer for the take exercise was missing. map and filter were only implemented in terms of pipe (which is a "very challenging" exercise) and t…

+33 −4 1 comment

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