Skip to content
View mrigankpawagi's full-sized avatar
🏁
🏁
67 followers · 135 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@publiclab @databasedIISc @iGEMIISc

Block or report mrigankpawagi

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 Loading

  1. seal-research/gluetest seal-research/gluetest Public

    [ICSME '24 NIER] Artifact for GlueTest: Testing Code Translation via Language Interoperability

    Java 4 2

  2. Intelligent-CAT-Lab/AlphaTrans Intelligent-CAT-Lab/AlphaTrans Public

    Artifact repository for the paper "AlphaTrans: A Neuro-Symbolic Compositional Approach for Repository-Level Code Translation and Validation", In Proceedings of The ACM Conference on Foundations of …

    Java 22 3

  3. GuardRails GuardRails Public

    VSCode extension to help developers set up guardrails around their functions, by helping them disambiguate purpose statements.

    Python 5 1

  4. LeanearTemporalLogic LeanearTemporalLogic Public

    Formalization of Linear Temporal Logic (LTL) in Lean 4.

    Lean 1 1

  5. PropertyEval PropertyEval Public

    PropertyEval: Synthesizing Thorough Test Cases for LLM Code Generation Benchmarks using Property-Based Testing

    Python 1

  6. NumericalMethods NumericalMethods Public

    Numerical Methods and Functions Library

    Python 6 2