mrigankpawagi

AlphaTrans

Repository-Level Compositional Code Translation and Validation

Bloggly

A Drupal Installation Profile to fulfil all your blogging needs.

Exop

Quest for a Habitable Exoplanet

GuardRails

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

HinglishEval

Evaluating the Effectiveness of Code-generation Models on Hinglish Prompts

JBossStarsBot

A Simple Telegram Bot made with Python, that fetches stars from the Repo of JBoss. Made for GCI 2018!

NumericalMethods

Numerical Methods and Functions Library

PropertyEval

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

SocialLinks

This drupal module is meant to make it easier for you to add cool social media links to your organisation - right on your Drupal Website!

gluetest

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

mrigankpawagi/NumericalMethods

Numerical Methods and Functions Library

mrigankpawagi/GuardRails

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

mrigankpawagi/HinglishEval

Evaluating the Effectiveness of Code-generation Models on Hinglish Prompts

mrigankpawagi/EfficientAttention

Discussion and Experiments on Efficient Attention

mrigankpawagi/PBT4Automata

Property Based Testing for Automata

mrigankpawagi/cinder

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

mrigankpawagi/fuzz4py

Fuzzing Python. Inspired by Fuzz4All.

mrigankpawagi/Missing-Semester

Resources, codes and material for Databased's Missing Semester Sessions

mrigankpawagi/PropertyEval

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

mrigankpawagi/PyJail

Python module to provide a secure environment for executing untrusted code.

mrigankpawagi/idoft

mrigankpawagi/AlphaTrans

Repository-Level Compositional Code Translation and Validation

mrigankpawagi/ArrayBoundsAnalysis

Static analysis to find out-of-bound array indexes in Java programs.

mrigankpawagi/BasicAnalysisForTheL

IISc's UM 204 in ForTheL

mrigankpawagi/contrafold-se

CONTRAfold-SE - Learning RNA secondary structure (only) from structure probing data

mrigankpawagi/django

The Web framework for perfectionists with deadlines.

mrigankpawagi/django-workload

Simulate a Django web stack

mrigankpawagi/freeGPT

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

mrigankpawagi/librephotos

A self-hosted open source photo management service. This is the repository of the backend.

mrigankpawagi/libsandbox

In-kernel Per-process Library Call Sandbox for Intrusion Detection

mrigankpawagi/mathlib4

The math library of Lean 4 (sLLiM?)

mrigankpawagi/plane

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

mrigankpawagi/PLTranslationEmpirical

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 Software Engineering (ICSE 2024), Lisbon, Portugal, April 2024

mrigankpawagi/ProbeableProblems

Probeable Problems for Beginner-level Programming-with-AI Contests

mrigankpawagi/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 bytecode; an experimental template JIT.

mrigankpawagi/smallgit

mrigankpawagi/ucsc-ospo.github.io

Website of the Open Source Program Office, UC Santa Cruz

mrigankpawagi/wagtail

A Django content management system focused on flexibility and user experience

mrigankpawagi/zulip

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

mrigankpawagi/zulip-zerver

Fork of Zulip's Zerver