Skip to content
View mdr's full-sized avatar

Block or report mdr

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. ascii-graphs ascii-graphs Public

    Parse ASCII art diagrams of graphs (nodes and edges)

    Scala 180 37

  2. mash mash Public

    An experimental object shell for Unix

    Scala 55 3

  3. inquisition inquisition Public

    A Java quiz engine

    Java 7 2

  4. scalariform-maven-plugin scalariform-maven-plugin Public

    Maven plugin for Scalariform, a Scala code formatter

    Scala 6 7

  5. aoc-2024 aoc-2024 Public

    Solutions for Advent of Code 2024 in Lean 4

    Lean 5

  6. pomodoro4eclipse pomodoro4eclipse Public

    Pomodoro timer plugin for Eclipse

    Scala 4