Skip to content
View adharshkamath's full-sized avatar
91 followers · 82 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@microsoft @IEEE-NITK @WebClub-NITK @woc-nitk @LCA-Tech @silicon-maze
Block or Report

Block or report adharshkamath

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

Pinned

  1. prismlab/peepul prismlab/peepul Public

    Certified implmentations of mergeable replicated data types

    F* 7 2

  2. SumitPadhiyar/parafuzz SumitPadhiyar/parafuzz Public

    Concurrency property fuzzing tool for multicore OCaml programs

    OCaml 1

  3. Fuchsia-traceroute Fuchsia-traceroute Public

    A C++ implementation of the traceroute utility in Fuchsia OS

    C++ 1

  4. woc-nitk/Project-Management-Portal woc-nitk/Project-Management-Portal Public

    A sample project management system using GraphQL, Node.js and React.js for learning purposes

    JavaScript 3 2

  5. Mathy-Compiler Mathy-Compiler Public

    A compiler to generate OpenMP programs for equations involving constructs like Forall, Summation, etc., frequently used in the scientific domain

    C 9 2

  6. Edmonds-Algorithm Edmonds-Algorithm Public

    A Python implementation of Edmond's blossom algorithm to find maximum matchings in general graphs

    Python 6 1