Block or report user

Report or block ThomasBracher

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. sadraskol

    Sadraskol personal blog

    CSS 1

  2. ex_server_timings

    Plug to add Server Timings header to your requests

    Elixir 3 1

  3. ire-lang

    Learning more about language by creating my own


  4. ml

    simple machine learning on mnist data set

    C++ 1

  5. adr-tools

    Forked from npryce/adr-tools

    Command-line tools for working with Architecture Decision Records


191 contributions in the last year

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

Contribution activity

August 2018

Created a pull request in purerl/purescript-erl-lists that received 1 comment

introduce Eq1, Ord1 and Ord for list

I was trying to use List in a NonEmpty, and it requires Eq1 to have an Eq instance. So here it is. Since I was there I also implemented the Ord and O…

+22 −14 1 comment

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