close
Skip to content
View umar-akhtar's full-sized avatar
2 followers · 1 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report umar-akhtar

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. free-programming-books free-programming-books Public

    Forked from EbookFoundation/free-programming-books

    📚 Freely available programming books

  2. CS410-14 CS410-14 Public

    Forked from pigworker/CS410-14

    being the materials for CS410 Advanced Functional Programming in the 2014-15 session

    Agda

  3. practical-programming-with-dependent-types practical-programming-with-dependent-types Public

    Forked from jstolarek/practical-programming-with-dependent-types

    Companion code in Agda for "Epigram: practical Programming with Dependent Types" paper.

    Agda

  4. RosettaCodeData RosettaCodeData Public

    Forked from acmeism/RosettaCodeData

    RosettaCode Data Project

    REXX

  5. auctionApp auctionApp Public

    Forked from leonardohjines/auctionApp

    JavaScript

  6. tutorials tutorials Public

    Forked from eugenp/tutorials

    Just Announced - "Learn Spring Security OAuth":

    Java