Skip to content
View mrigankpawagi's full-sized avatar
🪜
🪜

Highlights

  • Pro

Organizations

@publiclab @databasedIISc @iGEMIISc
Block or Report

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
  • CONTRAfold-SE - Learning RNA secondary structure (only) from structure probing data

    C++ Other Updated Jul 11, 2024
  • GuardRails Public

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

    Python 3 Other Updated Jul 2, 2024
  • Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In Proceedings of The 46th IEEE/ACM International Conference on …

    Python MIT License Updated Jun 10, 2024
  • A self-hosted open source photo management service. This is the repository of the backend.

    Python MIT License Updated Jun 5, 2024
  • plane Public

    Forked from makeplane/plane

    🔥 🔥 🔥 Open Source JIRA, Linear and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.

    TypeScript GNU Affero General Public License v3.0 Updated Jun 5, 2024
  • Simulate a Django web stack

    Python Other Updated Jun 5, 2024
  • skybison Public

    Forked from tekknolagi/skybison

    A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidden classes; bytecode inline caching; type-specialized byteco…

    C++ Other Updated Jun 4, 2024
  • zulip Public

    Forked from zulip/zulip

    Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

    Python Apache License 2.0 Updated May 16, 2024
  • Fork of Zulip's Zerver

    Python Updated May 15, 2024
  • wagtail Public

    Forked from wagtail/wagtail

    A Django content management system focused on flexibility and user experience

    Python BSD 3-Clause "New" or "Revised" License Updated May 14, 2024
  • cinder Public

    Forked from facebookincubator/cinder

    Cinder is Meta's internal performance-oriented production version of CPython.

    Python 1 Other Updated May 14, 2024
  • Website of the Open Source Program Office, UC Santa Cruz

    HTML MIT License Updated May 10, 2024
  • Synthesizing Thorough Test Cases for LLM Code Generation Benchmarks using Property-Based Testing

    Python 2 Updated May 4, 2024
  • Probeable Problems for Beginner-level Programming-with-AI Contests

    Python Updated May 3, 2024
  • Discussion and Experiments on Efficient Attention

    Jupyter Notebook 2 Updated May 2, 2024
  • Numerical Methods and Functions Library

    Python 2 2 Updated May 2, 2024
  • Property Based Testing for Automata

    Python 2 Updated Mar 15, 2024
  • The math library of Lean 4 (sLLiM?)

    Lean Apache License 2.0 Updated Feb 21, 2024
  • freeGPT Public

    Forked from amaze18/freeGPT

    A free version of Generative AI powered package which augments search based on documents

    Jupyter Notebook Apache License 2.0 Updated Jan 6, 2024
  • IISc's UM 204 in ForTheL

    TeX Updated Jan 3, 2024
  • evalplus Public

    Forked from evalplus/evalplus

    EvalPlus for rigourous evaluation of LLM-synthesized code

    Python Apache License 2.0 Updated Oct 12, 2023
  • EvalPlusPro Public

    EvalPlus + PropertyEval (Forked from EvalPlus)

    Python Apache License 2.0 Updated Sep 21, 2023
  • Python module which allows you to specify timeouts when calling any existing function, and support for stoppable threads

    Python GNU Lesser General Public License v3.0 Updated Aug 25, 2023
  • arnie Public

    Forked from DasLab/arnie

    Python utility to estimate, compare, and reweight RNA energetics across many secondary structure algorithms.

    Python MIT License Updated Aug 25, 2023
  • HoP101 Public

    Hands-on Python 101

    Python 9 Updated Aug 13, 2023
  • mutpy Public

    Forked from mutpy/mutpy

    Modified fork of MutPy, a mutation testing tool for Python 3.x source code

    Python 1 Other Updated Aug 4, 2023
  • 30 seconds to collect useful Java 8 snippet.

    Java Creative Commons Zero v1.0 Universal Updated Jul 25, 2023
  • Python Updated Jul 4, 2023
  • Open-source benchmark suite for cloud microservices

    C Apache License 2.0 Updated Jun 17, 2023
  • BugsInPy Public

    Forked from soarsmu/BugsInPy

    BugsInPy: Benchmarking Bugs in Python Projects

    Shell Updated Jun 16, 2023