Skip to content



Block or Report

Block or report mdimjasevic

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

Pinned Loading

  1. An introduction to programming language theory in Agda

    HTML 1k 215

  2. Agda is a dependently typed programming language / interactive theorem prover.

    Haskell 1.7k 209

  3. 🇪🇺 Wire back-end services

    Haskell 2.4k 324

  4. free monads

    Haskell 138 59

  5. Preprocessor for typesetting Haskell sources with LaTeX

    Haskell 81 22

  6. The ledger implementation and specifications of the Cardano blockchain.

    Haskell 131 73

219 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Activity overview
Contributed to wireapp/wire-server, wireapp/wire-android, wireapp/wire-docs and 5 other repositories

Contribution activity

December 2021

Opened 1 pull request in 1 repository
wireapp/wire-server 1 open

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