Skip to content
View markaduol's full-sized avatar
  • Imperial College London
  • London, UK & Nairobi, Kenya

Block or report markaduol

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. TinyHask TinyHask Public

    Compiler for a minimal functional language.

    Haskell 1

  2. WACC-Haskell WACC-Haskell Public

    Haskell

  3. UROP UROP Public

    Using symbolic execution to identify semantic inconsistencies between implementations of the same function declaration across different repository revisions.

    CMake 1

  4. teletype teletype Public

    Forked from atom/teletype

    Share your workspace with team members and collaborate on code in real time in Atom

    JavaScript

  5. papyrus papyrus Public archive

    JavaScript

  6. papyrus-crdt papyrus-crdt Public archive

    JavaScript