The Wayback Machine - https://web.archive.org/web/20201207081933/https://github.com/deepaksirone
Skip to content
Avatar
  • Block or report user

    Block or report deepaksirone

    Report abuse

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

    Report abuse
22 followers · 19 following · 57

Highlights

  • Arctic Code Vault Contributor

Organizations

@redox-os @multifacet

Pinned

  1. uclid-org/uclid

    UCLID5: formal modeling, verification, and synthesis of computational systems

    Scala 55 12

  2. redox-loader

    Mirror of https://gitlab.redox-os.org/redox-os/redox-loader

    Rust 6 2

  3. redox-fatfs

    Mirror of https://gitlab.redox-os.org/redox-os/redox-fatfs

    Rust 1

  4. sctp_sndbuf_adv

    Final year BTech project @ NITC

    TeX 1

  5. forkwatcher

    A fork bomb detection and user control module for Android

    C 1

  6. redox-kbook

    A book describing the internals of the Redox kernel

    JavaScript

369 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity

December 2020

6 contributions in private repositories Dec 1 – Dec 5
You can’t perform that action at this time.